| ‣ 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.
| ‣ 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.
| ‣ 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.
| ‣ 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.
| ‣ 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.
| ‣ 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.
generated by GAPDoc2HTML