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

2020.10-01

19 October 2020

Sebastian Gutsche
Email: gutsche@mathematik.uni-siegen.de
Homepage: https://sebasguts.github.io/
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 MorphismFromFiberProductToSink

  6.11-25 MorphismFromFiberProductToSinkOp

  6.11-26 MorphismFromFiberProductToSinkWithGivenFiberProduct

  6.11-27 UniversalMorphismIntoFiberProduct

  6.11-28 UniversalMorphismIntoFiberProductOp

  6.11-29 UniversalMorphismIntoFiberProductWithGivenFiberProduct

  6.11-30 AddFiberProduct

  6.11-31 AddProjectionInFactorOfFiberProduct

  6.11-32 AddProjectionInFactorOfFiberProductWithGivenFiberProduct

  6.11-33 AddMorphismFromFiberProductToSink

  6.11-34 AddMorphismFromFiberProductToSinkWithGivenFiberProduct

  6.11-35 AddUniversalMorphismIntoFiberProduct

  6.11-36 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct

  6.11-37 FiberProductFunctorial

  6.11-38 FiberProductFunctorialWithGivenFiberProducts

  6.11-39 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 MorphismFromSourceToPushout

  6.12-26 MorphismFromSourceToPushoutOp

  6.12-27 MorphismFromSourceToPushoutWithGivenPushout

  6.12-28 UniversalMorphismFromPushout

  6.12-29 UniversalMorphismFromPushoutOp

  6.12-30 UniversalMorphismFromPushoutWithGivenPushout

  6.12-31 AddPushout

  6.12-32 AddInjectionOfCofactorOfPushout

  6.12-33 AddInjectionOfCofactorOfPushoutWithGivenPushout

  6.12-34 AddMorphismFromSourceToPushout

  6.12-35 AddMorphismFromSourceToPushoutWithGivenPushout

  6.12-36 AddUniversalMorphismFromPushout

  6.12-37 AddUniversalMorphismFromPushoutWithGivenPushout

  6.12-38 PushoutFunctorial

  6.12-39 PushoutFunctorialWithGivenPushouts

  6.12-40 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