Goto Chapter: Top 1 2 Ind
 [Top of Book]  [Contents]   [Next Chapter] 

ToolsForCategoricalTowers

Tools for CategoricalTowers

2024.03-02

8 March 2024

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

Contents

1 Tools
2 Futher CAP operations
 2.10 Add-methods

  2.10-1 AddBasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory

  2.10-2 AddBasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory

  2.10-3 AddBiasedRelativeWeakFiberProduct

  2.10-4 AddColimit

  2.10-5 AddEmbeddingOfSumOfImagesOfAllMorphisms

  2.10-6 AddInjectionOfCofactorOfColimit

  2.10-7 AddInjectionOfCofactorOfColimitWithGivenColimit

  2.10-8 AddIsWeakInitial

  2.10-9 AddIsWeakTerminal

  2.10-10 AddLimit

  2.10-11 AddMereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory

  2.10-12 AddMereExistenceOfUniqueSolutionOfLinearSystemInAbCategory

  2.10-13 AddMorphismBetweenCoproducts

  2.10-14 AddMorphismBetweenCoproductsWithGivenCoproducts

  2.10-15 AddMorphismBetweenDirectProducts

  2.10-16 AddMorphismBetweenDirectProductsWithGivenDirectProducts

  2.10-17 AddMorphismOntoSumOfImagesOfAllMorphisms

  2.10-18 AddProjectionInFactorOfLimit

  2.10-19 AddProjectionInFactorOfLimitWithGivenLimit

  2.10-20 AddProjectionOfBiasedRelativeWeakFiberProduct

  2.10-21 AddProjectionOfBiasedRelativeWeakFiberProductWithGivenBiasedRelativeWeakFiberProduct

  2.10-22 AddRelativeLift

  2.10-23 AddSetOfMorphismsOfFiniteCategory

  2.10-24 AddSetOfObjectsOfCategory

  2.10-25 AddSumOfImagesOfAllMorphisms

  2.10-26 AddUniversalMorphismFromColimit

  2.10-27 AddUniversalMorphismFromColimitWithGivenColimit

  2.10-28 AddUniversalMorphismIntoBiasedRelativeWeakFiberProduct

  2.10-29 AddUniversalMorphismIntoBiasedRelativeWeakFiberProductWithGivenBiasedRelativeWeakFiberProduct

  2.10-30 AddUniversalMorphismIntoLimit

  2.10-31 AddUniversalMorphismIntoLimitWithGivenLimit
Index

 [Top of Book]  [Contents]   [Next Chapter] 
Goto Chapter: Top 1 2 Ind

generated by GAPDoc2HTML