‣ 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