Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

5 Conversion functors for generalized morphisms
 5.1 Functors from Cospans
 5.2 Functors from Spans
 5.3 Functors from Three Arrows

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