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

CartesianCategories

Cartesian and cocartesian categories and various subdoctrines

2024.04-01

4 April 2024

Mohamed Barakat
Email: mohamed.barakat@uni-siegen.de
Homepage: https://mohamed-barakat.github.io
Address:
Walter-Flex-Str. 3
57068 Siegen
Germany

Fabian Zickgraf
Email: fabian.zickgraf@uni-siegen.de
Homepage: https://github.com/zickgraf/
Address:
Walter-Flex-Str. 3
57068 Siegen
Germany

Tom Kuhmichel
Email: tom.kuhmichel@student.uni-siegen.de
Homepage: https://github.com/TKuh
Address:
Walter-Flex-Str. 3
57068 Siegen
Germany

Contents

1 Cartesian Categories
 1.1 Cartesian Categories

  1.1-1 CartesianBraiding
  1.1-2 CartesianBraidingWithGivenDirectProducts
  1.1-3 CartesianBraidingInverse
  1.1-4 CartesianBraidingInverseWithGivenDirectProducts
  1.1-5 DirectProductOnMorphisms
  1.1-6 DirectProductOnMorphismsWithGivenDirectProducts
  1.1-7 CartesianAssociatorRightToLeft
  1.1-8 CartesianAssociatorRightToLeftWithGivenDirectProducts
  1.1-9 CartesianAssociatorLeftToRight
  1.1-10 CartesianAssociatorLeftToRightWithGivenDirectProducts
  1.1-11 CartesianLeftUnitor
  1.1-12 CartesianLeftUnitorWithGivenDirectProduct
  1.1-13 CartesianLeftUnitorInverse
  1.1-14 CartesianLeftUnitorInverseWithGivenDirectProduct
  1.1-15 CartesianRightUnitor
  1.1-16 CartesianRightUnitorWithGivenDirectProduct
  1.1-17 CartesianRightUnitorInverse
  1.1-18 CartesianRightUnitorInverseWithGivenDirectProduct
  1.1-19 CartesianDiagonal
  1.1-20 CartesianDiagonalWithGivenCartesianPower
  1.1-21 LeftCartesianDistributivityExpanding
  1.1-22 LeftCartesianDistributivityExpandingWithGivenObjects
  1.1-23 LeftCartesianDistributivityFactoring
  1.1-24 LeftCartesianDistributivityFactoringWithGivenObjects
  1.1-25 RightCartesianDistributivityExpanding
  1.1-26 RightCartesianDistributivityExpandingWithGivenObjects
  1.1-27 RightCartesianDistributivityFactoring
  1.1-28 RightCartesianDistributivityFactoringWithGivenObjects
 1.2 Cartesian Closed Categories

  1.2-1 ExponentialOnObjects
  1.2-2 ExponentialOnMorphisms
  1.2-3 ExponentialOnMorphismsWithGivenExponentials
  1.2-4 CartesianRightEvaluationMorphism
  1.2-5 CartesianRightEvaluationMorphismWithGivenSource
  1.2-6 CartesianRightCoevaluationMorphism
  1.2-7 CartesianRightCoevaluationMorphismWithGivenRange
  1.2-8 DirectProductToExponentialRightAdjunctMorphism
  1.2-9 DirectProductToExponentialRightAdjunctMorphismWithGivenExponential
  1.2-10 ExponentialToDirectProductRightAdjunctMorphism
  1.2-11 ExponentialToDirectProductRightAdjunctMorphismWithGivenDirectProduct
  1.2-12 CartesianLeftEvaluationMorphism
  1.2-13 CartesianLeftEvaluationMorphismWithGivenSource
  1.2-14 CartesianLeftCoevaluationMorphism
  1.2-15 CartesianLeftCoevaluationMorphismWithGivenRange
  1.2-16 DirectProductToExponentialLeftAdjunctMorphism
  1.2-17 DirectProductToExponentialLeftAdjunctMorphismWithGivenExponential
  1.2-18 ExponentialToDirectProductLeftAdjunctMorphism
  1.2-19 ExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct
  1.2-20 CartesianPreComposeMorphism
  1.2-21 CartesianPreComposeMorphismWithGivenObjects
  1.2-22 CartesianPostComposeMorphism
  1.2-23 CartesianPostComposeMorphismWithGivenObjects
  1.2-24 CartesianDualOnObjects
  1.2-25 CartesianDualOnMorphisms
  1.2-26 CartesianDualOnMorphismsWithGivenCartesianDuals
  1.2-27 CartesianEvaluationForCartesianDual
  1.2-28 CartesianEvaluationForCartesianDualWithGivenDirectProduct
  1.2-29 MorphismToCartesianBidual
  1.2-30 MorphismToCartesianBidualWithGivenCartesianBidual
  1.2-31 DirectProductExponentialCompatibilityMorphism
  1.2-32 DirectProductExponentialCompatibilityMorphismWithGivenObjects
  1.2-33 DirectProductCartesianDualityCompatibilityMorphism
  1.2-34 DirectProductCartesianDualityCompatibilityMorphismWithGivenObjects
  1.2-35 MorphismFromDirectProductToExponential
  1.2-36 MorphismFromDirectProductToExponentialWithGivenObjects
  1.2-37 IsomorphismFromCartesianDualObjectToExponentialIntoTerminalObject
  1.2-38 IsomorphismFromExponentialIntoTerminalObjectToCartesianDualObject
  1.2-39 UniversalPropertyOfCartesianDual
  1.2-40 CartesianLambdaIntroduction
  1.2-41 CartesianLambdaElimination
  1.2-42 IsomorphismFromObjectToExponential
  1.2-43 IsomorphismFromObjectToExponentialWithGivenExponential
  1.2-44 IsomorphismFromExponentialToObject
  1.2-45 IsomorphismFromExponentialToObjectWithGivenExponential
 1.3 Convenience Methods

  1.3-1 Exponential
 1.4 Add-methods

  1.4-1 AddCartesianBraiding
  1.4-2 AddCartesianBraidingInverse
  1.4-3 AddCartesianBraidingInverseWithGivenDirectProducts
  1.4-4 AddCartesianBraidingWithGivenDirectProducts
  1.4-5 AddCartesianAssociatorLeftToRight
  1.4-6 AddCartesianAssociatorLeftToRightWithGivenDirectProducts
  1.4-7 AddCartesianAssociatorRightToLeft
  1.4-8 AddCartesianAssociatorRightToLeftWithGivenDirectProducts
  1.4-9 AddCartesianDiagonal
  1.4-10 AddCartesianDiagonalWithGivenCartesianPower
  1.4-11 AddCartesianLeftUnitor
  1.4-12 AddCartesianLeftUnitorInverse
  1.4-13 AddCartesianLeftUnitorInverseWithGivenDirectProduct
  1.4-14 AddCartesianLeftUnitorWithGivenDirectProduct
  1.4-15 AddCartesianRightUnitor
  1.4-16 AddCartesianRightUnitorInverse
  1.4-17 AddCartesianRightUnitorInverseWithGivenDirectProduct
  1.4-18 AddCartesianRightUnitorWithGivenDirectProduct
  1.4-19 AddDirectProductOnMorphisms
  1.4-20 AddDirectProductOnMorphismsWithGivenDirectProducts
  1.4-21 AddCartesianDualOnMorphisms
  1.4-22 AddCartesianDualOnMorphismsWithGivenCartesianDuals
  1.4-23 AddCartesianDualOnObjects
  1.4-24 AddCartesianEvaluationForCartesianDual
  1.4-25 AddCartesianEvaluationForCartesianDualWithGivenDirectProduct
  1.4-26 AddCartesianLambdaElimination
  1.4-27 AddCartesianLambdaIntroduction
  1.4-28 AddCartesianLeftCoevaluationMorphism
  1.4-29 AddCartesianLeftCoevaluationMorphismWithGivenRange
  1.4-30 AddCartesianLeftEvaluationMorphism
  1.4-31 AddCartesianLeftEvaluationMorphismWithGivenSource
  1.4-32 AddCartesianPostComposeMorphism
  1.4-33 AddCartesianPostComposeMorphismWithGivenObjects
  1.4-34 AddCartesianPreComposeMorphism
  1.4-35 AddCartesianPreComposeMorphismWithGivenObjects
  1.4-36 AddCartesianRightCoevaluationMorphism
  1.4-37 AddCartesianRightCoevaluationMorphismWithGivenRange
  1.4-38 AddCartesianRightEvaluationMorphism
  1.4-39 AddCartesianRightEvaluationMorphismWithGivenSource
  1.4-40 AddDirectProductCartesianDualityCompatibilityMorphism
  1.4-41 AddDirectProductCartesianDualityCompatibilityMorphismWithGivenObjects
  1.4-42 AddDirectProductExponentialCompatibilityMorphism
  1.4-43 AddDirectProductExponentialCompatibilityMorphismWithGivenObjects
  1.4-44 AddDirectProductToExponentialLeftAdjunctMorphism
  1.4-45 AddDirectProductToExponentialLeftAdjunctMorphismWithGivenExponential
  1.4-46 AddDirectProductToExponentialRightAdjunctMorphism
  1.4-47 AddDirectProductToExponentialRightAdjunctMorphismWithGivenExponential
  1.4-48 AddExponentialOnMorphisms
  1.4-49 AddExponentialOnMorphismsWithGivenExponentials
  1.4-50 AddExponentialOnObjects
  1.4-51 AddExponentialToDirectProductLeftAdjunctMorphism
  1.4-52 AddExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct
  1.4-53 AddExponentialToDirectProductRightAdjunctMorphism
  1.4-54 AddExponentialToDirectProductRightAdjunctMorphismWithGivenDirectProduct
  1.4-55 AddIsomorphismFromCartesianDualObjectToExponentialIntoTerminalObject
  1.4-56 AddIsomorphismFromExponentialIntoTerminalObjectToCartesianDualObject
  1.4-57 AddIsomorphismFromExponentialToObject
  1.4-58 AddIsomorphismFromExponentialToObjectWithGivenExponential
  1.4-59 AddIsomorphismFromObjectToExponential
  1.4-60 AddIsomorphismFromObjectToExponentialWithGivenExponential
  1.4-61 AddMorphismFromDirectProductToExponential
  1.4-62 AddMorphismFromDirectProductToExponentialWithGivenObjects
  1.4-63 AddMorphismToCartesianBidual
  1.4-64 AddMorphismToCartesianBidualWithGivenCartesianBidual
  1.4-65 AddUniversalPropertyOfCartesianDual
  1.4-66 AddLeftCartesianDistributivityExpanding
  1.4-67 AddLeftCartesianDistributivityExpandingWithGivenObjects
  1.4-68 AddLeftCartesianDistributivityFactoring
  1.4-69 AddLeftCartesianDistributivityFactoringWithGivenObjects
  1.4-70 AddRightCartesianDistributivityExpanding
  1.4-71 AddRightCartesianDistributivityExpandingWithGivenObjects
  1.4-72 AddRightCartesianDistributivityFactoring
  1.4-73 AddRightCartesianDistributivityFactoringWithGivenObjects
2 Cocartesian Categories
 2.1 Cocartesian Categories

  2.1-1 CocartesianBraiding
  2.1-2 CocartesianBraidingWithGivenCoproducts
  2.1-3 CocartesianBraidingInverse
  2.1-4 CocartesianBraidingInverseWithGivenCoproducts
  2.1-5 CoproductOnMorphisms
  2.1-6 CoproductOnMorphismsWithGivenCoproducts
  2.1-7 CocartesianAssociatorRightToLeft
  2.1-8 CocartesianAssociatorRightToLeftWithGivenCoproducts
  2.1-9 CocartesianAssociatorLeftToRight
  2.1-10 CocartesianAssociatorLeftToRightWithGivenCoproducts
  2.1-11 CocartesianLeftUnitor
  2.1-12 CocartesianLeftUnitorWithGivenCoproduct
  2.1-13 CocartesianLeftUnitorInverse
  2.1-14 CocartesianLeftUnitorInverseWithGivenCoproduct
  2.1-15 CocartesianRightUnitor
  2.1-16 CocartesianRightUnitorWithGivenCoproduct
  2.1-17 CocartesianRightUnitorInverse
  2.1-18 CocartesianRightUnitorInverseWithGivenCoproduct
  2.1-19 CocartesianCodiagonal
  2.1-20 CocartesianCodiagonalWithGivenCocartesianMultiple
  2.1-21 LeftCocartesianCodistributivityExpanding
  2.1-22 LeftCocartesianCodistributivityExpandingWithGivenObjects
  2.1-23 LeftCocartesianCodistributivityFactoring
  2.1-24 LeftCocartesianCodistributivityFactoringWithGivenObjects
  2.1-25 RightCocartesianCodistributivityExpanding
  2.1-26 RightCocartesianCodistributivityExpandingWithGivenObjects
  2.1-27 RightCocartesianCodistributivityFactoring
  2.1-28 RightCocartesianCodistributivityFactoringWithGivenObjects
 2.2 Cocartesian Coclosed Categories

  2.2-1 CoexponentialOnObjects
  2.2-2 CoexponentialOnMorphisms
  2.2-3 CoexponentialOnMorphismsWithGivenCoexponentials
  2.2-4 CocartesianRightEvaluationMorphism
  2.2-5 CocartesianRightEvaluationMorphismWithGivenRange
  2.2-6 CocartesianRightCoevaluationMorphism
  2.2-7 CocartesianRightCoevaluationMorphismWithGivenSource
  2.2-8 CoproductToCoexponentialRightAdjunctMorphism
  2.2-9 CoproductToCoexponentialRightAdjunctMorphismWithGivenCoexponential
  2.2-10 CoexponentialToCoproductRightAdjunctMorphism
  2.2-11 CoexponentialToCoproductRightAdjunctMorphismWithGivenCoproduct
  2.2-12 CocartesianLeftEvaluationMorphism
  2.2-13 CocartesianLeftEvaluationMorphismWithGivenRange
  2.2-14 CocartesianLeftCoevaluationMorphism
  2.2-15 CocartesianLeftCoevaluationMorphismWithGivenSource
  2.2-16 CoproductToCoexponentialLeftAdjunctMorphism
  2.2-17 CoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential
  2.2-18 CoexponentialToCoproductLeftAdjunctMorphism
  2.2-19 CoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct
  2.2-20 CocartesianPreCoComposeMorphism
  2.2-21 CocartesianPreCoComposeMorphismWithGivenObjects
  2.2-22 CocartesianPostCoComposeMorphism
  2.2-23 CocartesianPostCoComposeMorphismWithGivenObjects
  2.2-24 CocartesianDualOnObjects
  2.2-25 CocartesianDualOnMorphisms
  2.2-26 CocartesianDualOnMorphismsWithGivenCocartesianDuals
  2.2-27 CocartesianEvaluationForCocartesianDual
  2.2-28 CocartesianEvaluationForCocartesianDualWithGivenCoproduct
  2.2-29 MorphismFromCocartesianBidual
  2.2-30 MorphismFromCocartesianBidualWithGivenCocartesianBidual
  2.2-31 CoexponentialCoproductCompatibilityMorphism
  2.2-32 CoexponentialCoproductCompatibilityMorphismWithGivenObjects
  2.2-33 CocartesianDualityCoproductCompatibilityMorphism
  2.2-34 CocartesianDualityCoproductCompatibilityMorphismWithGivenObjects
  2.2-35 MorphismFromCoexponentialToCoproduct
  2.2-36 MorphismFromCoexponentialToCoproductWithGivenObjects
  2.2-37 IsomorphismFromCocartesianDualObjectToCoexponentialFromInitialObject
  2.2-38 IsomorphismFromCoexponentialFromInitialObjectToCocartesianDualObject
  2.2-39 UniversalPropertyOfCocartesianDual
  2.2-40 CocartesianLambdaIntroduction
  2.2-41 CocartesianLambdaElimination
  2.2-42 IsomorphismFromObjectToCoexponential
  2.2-43 IsomorphismFromObjectToCoexponentialWithGivenCoexponential
  2.2-44 IsomorphismFromCoexponentialToObject
  2.2-45 IsomorphismFromCoexponentialToObjectWithGivenCoexponential
 2.3 Convenience Methods

  2.3-1 Coexponential
 2.4 Add-methods

  2.4-1 AddCocartesianBraiding
  2.4-2 AddCocartesianBraidingInverse
  2.4-3 AddCocartesianBraidingInverseWithGivenCoproducts
  2.4-4 AddCocartesianBraidingWithGivenCoproducts
  2.4-5 AddCocartesianAssociatorLeftToRight
  2.4-6 AddCocartesianAssociatorLeftToRightWithGivenCoproducts
  2.4-7 AddCocartesianAssociatorRightToLeft
  2.4-8 AddCocartesianAssociatorRightToLeftWithGivenCoproducts
  2.4-9 AddCocartesianCodiagonal
  2.4-10 AddCocartesianCodiagonalWithGivenCocartesianMultiple
  2.4-11 AddCocartesianLeftUnitor
  2.4-12 AddCocartesianLeftUnitorInverse
  2.4-13 AddCocartesianLeftUnitorInverseWithGivenCoproduct
  2.4-14 AddCocartesianLeftUnitorWithGivenCoproduct
  2.4-15 AddCocartesianRightUnitor
  2.4-16 AddCocartesianRightUnitorInverse
  2.4-17 AddCocartesianRightUnitorInverseWithGivenCoproduct
  2.4-18 AddCocartesianRightUnitorWithGivenCoproduct
  2.4-19 AddCoproductOnMorphisms
  2.4-20 AddCoproductOnMorphismsWithGivenCoproducts
  2.4-21 AddCocartesianDualOnMorphisms
  2.4-22 AddCocartesianDualOnMorphismsWithGivenCocartesianDuals
  2.4-23 AddCocartesianDualOnObjects
  2.4-24 AddCocartesianDualityCoproductCompatibilityMorphism
  2.4-25 AddCocartesianDualityCoproductCompatibilityMorphismWithGivenObjects
  2.4-26 AddCocartesianEvaluationForCocartesianDual
  2.4-27 AddCocartesianEvaluationForCocartesianDualWithGivenCoproduct
  2.4-28 AddCocartesianLambdaElimination
  2.4-29 AddCocartesianLambdaIntroduction
  2.4-30 AddCocartesianLeftCoevaluationMorphism
  2.4-31 AddCocartesianLeftCoevaluationMorphismWithGivenSource
  2.4-32 AddCocartesianLeftEvaluationMorphism
  2.4-33 AddCocartesianLeftEvaluationMorphismWithGivenRange
  2.4-34 AddCocartesianPostCoComposeMorphism
  2.4-35 AddCocartesianPostCoComposeMorphismWithGivenObjects
  2.4-36 AddCocartesianPreCoComposeMorphism
  2.4-37 AddCocartesianPreCoComposeMorphismWithGivenObjects
  2.4-38 AddCocartesianRightCoevaluationMorphism
  2.4-39 AddCocartesianRightCoevaluationMorphismWithGivenSource
  2.4-40 AddCocartesianRightEvaluationMorphism
  2.4-41 AddCocartesianRightEvaluationMorphismWithGivenRange
  2.4-42 AddCoexponentialCoproductCompatibilityMorphism
  2.4-43 AddCoexponentialCoproductCompatibilityMorphismWithGivenObjects
  2.4-44 AddCoexponentialOnMorphisms
  2.4-45 AddCoexponentialOnMorphismsWithGivenCoexponentials
  2.4-46 AddCoexponentialOnObjects
  2.4-47 AddCoexponentialToCoproductLeftAdjunctMorphism
  2.4-48 AddCoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct
  2.4-49 AddCoexponentialToCoproductRightAdjunctMorphism
  2.4-50 AddCoexponentialToCoproductRightAdjunctMorphismWithGivenCoproduct
  2.4-51 AddCoproductToCoexponentialLeftAdjunctMorphism
  2.4-52 AddCoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential
  2.4-53 AddCoproductToCoexponentialRightAdjunctMorphism
  2.4-54 AddCoproductToCoexponentialRightAdjunctMorphismWithGivenCoexponential
  2.4-55 AddIsomorphismFromCocartesianDualObjectToCoexponentialFromInitialObject
  2.4-56 AddIsomorphismFromCoexponentialFromInitialObjectToCocartesianDualObject
  2.4-57 AddIsomorphismFromCoexponentialToObject
  2.4-58 AddIsomorphismFromCoexponentialToObjectWithGivenCoexponential
  2.4-59 AddIsomorphismFromObjectToCoexponential
  2.4-60 AddIsomorphismFromObjectToCoexponentialWithGivenCoexponential
  2.4-61 AddMorphismFromCocartesianBidual
  2.4-62 AddMorphismFromCocartesianBidualWithGivenCocartesianBidual
  2.4-63 AddMorphismFromCoexponentialToCoproduct
  2.4-64 AddMorphismFromCoexponentialToCoproductWithGivenObjects
  2.4-65 AddUniversalPropertyOfCocartesianDual
  2.4-66 AddLeftCocartesianCodistributivityExpanding
  2.4-67 AddLeftCocartesianCodistributivityExpandingWithGivenObjects
  2.4-68 AddLeftCocartesianCodistributivityFactoring
  2.4-69 AddLeftCocartesianCodistributivityFactoringWithGivenObjects
  2.4-70 AddRightCocartesianCodistributivityExpanding
  2.4-71 AddRightCocartesianCodistributivityExpandingWithGivenObjects
  2.4-72 AddRightCocartesianCodistributivityFactoring
  2.4-73 AddRightCocartesianCodistributivityFactoringWithGivenObjects
3 Examples and Tests
 3.1 Test functions

  3.1-1 BraidedCartesianCategoriesTest
  3.1-2 BraidedCocartesianCategoriesTest
  3.1-3 CartesianCategoriesTest
  3.1-4 CartesianClosedCategoriesTest
  3.1-5 CocartesianCategoriesTest
  3.1-6 CocartesianCoclosedCategoriesTest
  3.1-7 CodistributiveCocartesianCategoriesTest
  3.1-8 DistributiveCartesianCategoriesTest
 3.2 InfoOfInstalledOperationsOfCategory
4 The initial category
 4.1 Constructor

  4.1-1 InitialCategory
 4.2 GAP Categories

  4.2-1 IsInitialCapCategory
  4.2-2 IsObjectInInitialCapCategory
  4.2-3 IsMorphismInInitialCapCategory
5 Legacy Operations and Synonyms
 5.1 Legacy operations

  5.1-1 CocartesianCoevaluationMorphism
  5.1-2 CocartesianCoevaluationMorphismWithGivenSource
  5.1-3 CocartesianEvaluationMorphism
  5.1-4 CocartesianEvaluationMorphismWithGivenRange
  5.1-5 CartesianCoevaluationMorphism
  5.1-6 CartesianCoevaluationMorphismWithGivenRange
 5.2 Synonyms for legacy operations

  5.2-1 CartesianEvaluationMorphism
  5.2-2 CartesianEvaluationMorphismWithGivenSource
  5.2-3 CoexponentialToCoproductAdjunctionMap
  5.2-4 CoexponentialToCoproductAdjunctionMapWithGivenCoproduct
  5.2-5 ExponentialToDirectProductAdjunctionMap
  5.2-6 ExponentialToDirectProductAdjunctionMapWithGivenDirectProduct
  5.2-7 CoproductToCoexponentialAdjunctionMap
  5.2-8 CoproductToCoexponentialAdjunctionMapWithGivenCoexponential
  5.2-9 DirectProductToExponentialAdjunctionMap
  5.2-10 DirectProductToExponentialAdjunctionMapWithGivenExponential
  5.2-11 AddCartesianEvaluationMorphism
  5.2-12 AddCartesianEvaluationMorphismWithGivenSource
  5.2-13 AddCoexponentialToCoproductAdjunctionMap
  5.2-14 AddCoexponentialToCoproductAdjunctionMapWithGivenCoproduct
  5.2-15 AddExponentialToDirectProductAdjunctionMap
  5.2-16 AddExponentialToDirectProductAdjunctionMapWithGivenDirectProduct
  5.2-17 AddCoproductToCoexponentialAdjunctionMap
  5.2-18 AddCoproductToCoexponentialAdjunctionMapWithGivenCoexponential
  5.2-19 AddDirectProductToExponentialAdjunctionMap
  5.2-20 AddDirectProductToExponentialAdjunctionMapWithGivenExponential
  5.2-21 CoexponentialToCoproductLeftAdjunctionMap
  5.2-22 CoexponentialToCoproductLeftAdjunctionMapWithGivenCoproduct
  5.2-23 ExponentialToDirectProductLeftAdjunctionMap
  5.2-24 ExponentialToDirectProductLeftAdjunctionMapWithGivenDirectProduct
  5.2-25 CoproductToCoexponentialLeftAdjunctionMap
  5.2-26 CoproductToCoexponentialLeftAdjunctionMapWithGivenCoexponential
  5.2-27 DirectProductToExponentialLeftAdjunctionMap
  5.2-28 DirectProductToExponentialLeftAdjunctionMapWithGivenExponential
  5.2-29 AddCoexponentialToCoproductLeftAdjunctionMap
  5.2-30 AddCoexponentialToCoproductLeftAdjunctionMapWithGivenCoproduct
  5.2-31 AddExponentialToDirectProductLeftAdjunctionMap
  5.2-32 AddExponentialToDirectProductLeftAdjunctionMapWithGivenDirectProduct
  5.2-33 AddCoproductToCoexponentialLeftAdjunctionMap
  5.2-34 AddCoproductToCoexponentialLeftAdjunctionMapWithGivenCoexponential
  5.2-35 AddDirectProductToExponentialLeftAdjunctionMap
  5.2-36 AddDirectProductToExponentialLeftAdjunctionMapWithGivenExponential
6 CartesianCategories automatic generated documentation
 6.1 CartesianCategories automatic generated documentation of properties

  6.1-1 IsBicartesianCategory
  6.1-2 IsFiniteCompleteCategory
  6.1-3 IsFiniteCocompleteCategory
  6.1-4 IsFiniteBicompleteCategory
  6.1-5 IsCartesianCategory
  6.1-6 IsStrictCartesianCategory
  6.1-7 IsCartesianClosedCategory
  6.1-8 IsBicartesianClosedCategory
  6.1-9 IsCocartesianCategory
  6.1-10 IsStrictCocartesianCategory
  6.1-11 IsCocartesianCoclosedCategory
  6.1-12 IsBicartesianCoclosedCategory
  6.1-13 IsCodistributiveCategory
  6.1-14 IsDistributiveCategory
  6.1-15 IsInitialCategory
Index

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

generated by GAPDoc2HTML