Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563554 views
Tweet
Share
Share
1
  

2
  5 Conversion functors for generalized morphisms

3
  

4
  

5
  5.1 Functors from Cospans

6
  

7
  5.1-1 FunctorFromCospansToThreeArrows

8
  

9
  FunctorFromCospansToThreeArrows( C )  attribute

10
  Returns:  a functor

11
  

12
  For  the  given  category  C,  this attribute is the functor from the cospan

13
  generalized  morphism  category  of  C  to the generalized morphism category

14
  modeled by three arrows.

15
  

16
  5.1-2 FunctorFromCospansToSpans

17
  

18
  FunctorFromCospansToSpans( C )  attribute

19
  Returns:  a functor

20
  

21
  For  the  given  category  C,  this attribute is the functor from the cospan

22
  generalized  morphism  category  of  C  to the generalized morphism category

23
  modeled by spans.

24
  

25
  

26
  5.2 Functors from Spans

27
  

28
  5.2-1 FunctorFromSpansToThreeArrows

29
  

30
  FunctorFromSpansToThreeArrows( C )  attribute

31
  Returns:  a functor

32
  

33
  For  the  given  category  C,  this  attribute  is the functor from the span

34
  generalized  morphism  category  of  C  to the generalized morphism category

35
  modeled by three arrows.

36
  

37
  5.2-2 FunctorFromSpansToCospans

38
  

39
  FunctorFromSpansToCospans( C )  attribute

40
  Returns:  a functor

41
  

42
  For  the  given  category  C,  this  attribute  is the functor from the span

43
  generalized  morphism  category  of  C  to the generalized morphism category

44
  modeled by cospans.

45
  

46
  

47
  5.3 Functors from Three Arrows

48
  

49
  5.3-1 FunctorFromThreeArrowsToCospans

50
  

51
  FunctorFromThreeArrowsToCospans( C )  attribute

52
  Returns:  a functor

53
  

54
  For the given category C, this attribute is the functor from the three arrow

55
  generalized  morphism  category  of  C  to the generalized morphism category

56
  modeled by cospans.

57
  

58
  5.3-2 FunctorFromThreeArrowsToSpans

59
  

60
  FunctorFromThreeArrowsToSpans( C )  attribute

61
  Returns:  a functor

62
  

63
  For the given category C, this attribute is the functor from the three arrow

64
  generalized  morphism  category  of  C  to the generalized morphism category

65
  modeled by spans.

66
  

67


68