Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind

### 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.

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind

generated by GAPDoc2HTML