GAP (GeneralizedMorphismsForCAP) - Chapter 5: Conversion functors for generalized morphisms

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind
[Top of Book] [Contents] [Previous Chapter] [Next Chapter]

[MathJax off]

5 Conversion functors for generalized morphisms
5.1 Functors from Cospans
5.1-1 FunctorFromCospansToThreeArrows
5.1-2 FunctorFromCospansToSpans
5.2 Functors from Spans
5.2-1 FunctorFromSpansToThreeArrows
5.2-2 FunctorFromSpansToCospans
5.3 Functors from Three Arrows
5.3-1 FunctorFromThreeArrowsToCospans
5.3-2 FunctorFromThreeArrowsToSpans

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

[Top of Book] [Contents] [Previous Chapter] [Next Chapter]
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind

generated by GAPDoc2HTML