GAP (GeneralizedMorphismsForCAP) - Chapter 5: Conversion functors for generalized morphisms

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind

5 Conversion functors for generalized morphisms

5.1 Functors from Cospans

5.1-1 FunctorFromCospansToThreeArrows

‣ FunctorFromCospansToThreeArrows( C ) ( attribute )

Returns: a functor

For the given category C, this attribute is the functor from the cospan generalized morphism category of C to the generalized morphism category modeled by three arrows.

5.1-2 FunctorFromCospansToSpans

‣ FunctorFromCospansToSpans( C ) ( attribute )

Returns: a functor

For the given category C, this attribute is the functor from the cospan generalized morphism category of C to the generalized morphism category modeled by spans.

5.2 Functors from Spans

5.2-1 FunctorFromSpansToThreeArrows

‣ FunctorFromSpansToThreeArrows( C ) ( attribute )

Returns: a functor

For the given category C, this attribute is the functor from the span generalized morphism category of C to the generalized morphism category modeled by three arrows.

5.2-2 FunctorFromSpansToCospans

‣ FunctorFromSpansToCospans( C ) ( attribute )

Returns: a functor

For the given category C, this attribute is the functor from the span generalized morphism category of C to the generalized morphism category modeled by cospans.

5.3 Functors from Three Arrows

5.3-1 FunctorFromThreeArrowsToCospans

‣ FunctorFromThreeArrowsToCospans( C ) ( attribute )

Returns: a functor

For the given category C, this attribute is the functor from the three arrow generalized morphism category of C to the generalized morphism category modeled by cospans.

5.3-2 FunctorFromThreeArrowsToSpans

‣ FunctorFromThreeArrowsToSpans( C ) ( attribute )

Returns: a functor

For the given category C, this attribute is the functor from the three arrow generalized morphism category of C to the generalized morphism category modeled by spans.

[Top of Book] [Contents] [Previous Chapter] [Next Chapter]

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind

generated by GAPDoc2HTML