Conversion functors for generalized morphisms
Functors from Cospans 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. 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.
Functors from Spans 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. 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.
Functors from Three Arrows 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. 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.