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

CAP

Categories, Algorithms, Programming

2019.06.07

7 June 2019

Sebastian Gutsche
Email: gutsche@mathematik.uni-siegen.de
Homepage: http://www.uni-siegen.de/fb6/rmi/
Address:
Department Mathematik
Universität Siegen
Walter-Flex-Straße 3
57068 Siegen
Germany

Sebastian Posur
Email: sebastian.posur@uni-siegen.de
Homepage: https://sebastianpos.github.io
Address:
Department Mathematik
Universität Siegen
Walter-Flex-Straße 3
57068 Siegen
Germany

Øystein Skartsæterhagen
Email: oysteini@math.ntnu.no
Homepage: http://www.math.ntnu.no/~oysteini/
Address:
NTNU
Institutt for matematiske fag
7491 Trondheim
Norway

Contents

1 CAP Categories
2 Objects
3 Morphisms
4 Category 2-Cells
5 Category of Categories
6 Universal Objects
 6.6 Direct Sum

  6.6-1 DirectSumOp

  6.6-2 ProjectionInFactorOfDirectSum

  6.6-3 ProjectionInFactorOfDirectSumOp

  6.6-4 ProjectionInFactorOfDirectSumWithGivenDirectSum

  6.6-5 InjectionOfCofactorOfDirectSum

  6.6-6 InjectionOfCofactorOfDirectSumOp

  6.6-7 InjectionOfCofactorOfDirectSumWithGivenDirectSum

  6.6-8 UniversalMorphismIntoDirectSum

  6.6-9 UniversalMorphismIntoDirectSumOp

  6.6-10 UniversalMorphismIntoDirectSumWithGivenDirectSum

  6.6-11 UniversalMorphismFromDirectSum

  6.6-12 UniversalMorphismFromDirectSumOp

  6.6-13 UniversalMorphismFromDirectSumWithGivenDirectSum

  6.6-14 IsomorphismFromDirectSumToDirectProduct

  6.6-15 IsomorphismFromDirectSumToDirectProductOp

  6.6-16 IsomorphismFromDirectProductToDirectSum

  6.6-17 IsomorphismFromDirectProductToDirectSumOp

  6.6-18 IsomorphismFromDirectSumToCoproduct

  6.6-19 IsomorphismFromDirectSumToCoproductOp

  6.6-20 IsomorphismFromCoproductToDirectSum

  6.6-21 IsomorphismFromCoproductToDirectSumOp

  6.6-22 MorphismBetweenDirectSums

  6.6-23 AddMorphismBetweenDirectSums

  6.6-24 MorphismBetweenDirectSumsOp

  6.6-25 ComponentOfMorphismIntoDirectSum

  6.6-26 ComponentOfMorphismFromDirectSum

  6.6-27 AddComponentOfMorphismIntoDirectSum

  6.6-28 AddComponentOfMorphismFromDirectSum

  6.6-29 AddProjectionInFactorOfDirectSum

  6.6-30 AddProjectionInFactorOfDirectSumWithGivenDirectSum

  6.6-31 AddInjectionOfCofactorOfDirectSum

  6.6-32 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum

  6.6-33 AddUniversalMorphismIntoDirectSum

  6.6-34 AddUniversalMorphismIntoDirectSumWithGivenDirectSum

  6.6-35 AddUniversalMorphismFromDirectSum

  6.6-36 AddUniversalMorphismFromDirectSumWithGivenDirectSum

  6.6-37 AddIsomorphismFromDirectSumToDirectProduct

  6.6-38 AddIsomorphismFromDirectProductToDirectSum

  6.6-39 AddIsomorphismFromDirectSumToCoproduct

  6.6-40 AddIsomorphismFromCoproductToDirectSum

  6.6-41 AddDirectSum

  6.6-42 DirectSumFunctorial

  6.6-43 DirectSumFunctorialWithGivenDirectSums

  6.6-44 AddDirectSumFunctorialWithGivenDirectSums
 6.11 Fiber Product

  6.11-1 IsomorphismFromFiberProductToKernelOfDiagonalDifference

  6.11-2 IsomorphismFromFiberProductToKernelOfDiagonalDifferenceOp

  6.11-3 AddIsomorphismFromFiberProductToKernelOfDiagonalDifference

  6.11-4 IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct

  6.11-5 IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp

  6.11-6 AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct

  6.11-7 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram

  6.11-8 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagramOp

  6.11-9 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram

  6.11-10 IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct

  6.11-11 IsomorphismFromEqualizerOfDirectProductDiagramToFiberProductOp

  6.11-12 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct

  6.11-13 DirectSumDiagonalDifference

  6.11-14 DirectSumDiagonalDifferenceOp

  6.11-15 AddDirectSumDiagonalDifference

  6.11-16 FiberProductEmbeddingInDirectSum

  6.11-17 FiberProductEmbeddingInDirectSumOp

  6.11-18 AddFiberProductEmbeddingInDirectSum

  6.11-19 FiberProduct

  6.11-20 FiberProductOp

  6.11-21 ProjectionInFactorOfFiberProduct

  6.11-22 ProjectionInFactorOfFiberProductOp

  6.11-23 ProjectionInFactorOfFiberProductWithGivenFiberProduct

  6.11-24 UniversalMorphismIntoFiberProduct

  6.11-25 UniversalMorphismIntoFiberProductOp

  6.11-26 UniversalMorphismIntoFiberProductWithGivenFiberProduct

  6.11-27 AddFiberProduct

  6.11-28 AddProjectionInFactorOfFiberProduct

  6.11-29 AddProjectionInFactorOfFiberProductWithGivenFiberProduct

  6.11-30 AddUniversalMorphismIntoFiberProduct

  6.11-31 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct

  6.11-32 FiberProductFunctorial

  6.11-33 FiberProductFunctorialWithGivenFiberProducts

  6.11-34 AddFiberProductFunctorialWithGivenFiberProducts
 6.12 Pushout

  6.12-1 IsomorphismFromPushoutToCokernelOfDiagonalDifference

  6.12-2 IsomorphismFromPushoutToCokernelOfDiagonalDifferenceOp

  6.12-3 AddIsomorphismFromPushoutToCokernelOfDiagonalDifference

  6.12-4 IsomorphismFromCokernelOfDiagonalDifferenceToPushout

  6.12-5 IsomorphismFromCokernelOfDiagonalDifferenceToPushoutOp

  6.12-6 AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout

  6.12-7 IsomorphismFromPushoutToCoequalizerOfCoproductDiagram

  6.12-8 IsomorphismFromPushoutToCoequalizerOfCoproductDiagramOp

  6.12-9 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram

  6.12-10 IsomorphismFromCoequalizerOfCoproductDiagramToPushout

  6.12-11 IsomorphismFromCoequalizerOfCoproductDiagramToPushoutOp

  6.12-12 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout

  6.12-13 DirectSumCodiagonalDifference

  6.12-14 DirectSumCodiagonalDifferenceOp

  6.12-15 AddDirectSumCodiagonalDifference

  6.12-16 DirectSumProjectionInPushout

  6.12-17 DirectSumProjectionInPushoutOp

  6.12-18 AddDirectSumProjectionInPushout

  6.12-19 Pushout

  6.12-20 Pushout

  6.12-21 PushoutOp

  6.12-22 InjectionOfCofactorOfPushout

  6.12-23 InjectionOfCofactorOfPushoutOp

  6.12-24 InjectionOfCofactorOfPushoutWithGivenPushout

  6.12-25 UniversalMorphismFromPushout

  6.12-26 UniversalMorphismFromPushoutOp

  6.12-27 UniversalMorphismFromPushoutWithGivenPushout

  6.12-28 AddPushout

  6.12-29 AddInjectionOfCofactorOfPushout

  6.12-30 AddInjectionOfCofactorOfPushoutWithGivenPushout

  6.12-31 AddUniversalMorphismFromPushout

  6.12-32 AddUniversalMorphismFromPushoutWithGivenPushout

  6.12-33 PushoutFunctorial

  6.12-34 PushoutFunctorialWithGivenPushouts

  6.12-35 AddPushoutFunctorialWithGivenPushouts
7 Add Functions
8 Managing Derived Methods
9 Technical Details
10 Limits and Colimits
11 Examples and Tests
Index

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

generated by GAPDoc2HTML