‣ 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