AbelianClosure
, for IsAlgebroid 10.1-1 AddIsReflexive
, for IsCapCategory, IsFunction 16.1-1 AlgebroidAsObjectInPreSheavesCategory
, for IsAlgebroidFromDataTables 14.1-1 ApplyMorphismInCoPreSheafCategoryToObject
, for IsCoPreSheafCategory, IsMorphismInCoPreSheafCategory, IsCapCategoryObject 12.3-3 ApplyMorphismInFunctorCategoryToObject
, for IsFunctorCategory, IsMorphismInFunctorCategory, IsCapCategoryObject 1.3-5 ApplyMorphismInPreSheafCategoryOfFpEnrichedCategoryToObject
, for IsPreSheafCategoryOfFpEnrichedCategory, IsMorphismInPreSheafCategoryOfFpEnrichedCategory, IsCapCategoryObject 2.3-4 ApplyObjectInCoPreSheafCategoryToMorphism
, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsCapCategoryMorphism 12.3-2 ApplyObjectInCoPreSheafCategoryToObject
, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsCapCategoryObject 12.3-1 ApplyObjectInFunctorCategoryToMorphism
, for IsFunctorCategory, IsObjectInFunctorCategory, IsCapCategoryMorphism 1.3-4 ApplyObjectInFunctorCategoryToObject
, for IsFunctorCategory, IsObjectInFunctorCategory, IsCapCategoryObject 1.3-3 ApplyObjectInPreSheafCategoryOfFpEnrichedCategoryToGeneratingMorphismOrIdentity
, for IsPreSheafCategoryOfFpEnrichedCategory, IsObjectInPreSheafCategoryOfFpEnrichedCategory, IsCapCategoryMorphism 2.3-3 ApplyObjectInPreSheafCategoryOfFpEnrichedCategoryToMorphism
, for IsPreSheafCategoryOfFpEnrichedCategory, IsObjectInPreSheafCategoryOfFpEnrichedCategory, IsCapCategoryMorphism 2.3-2 ApplyObjectInPreSheafCategoryOfFpEnrichedCategoryToObject
, for IsPreSheafCategoryOfFpEnrichedCategory, IsObjectInPreSheafCategoryOfFpEnrichedCategory, IsCapCategoryObject 2.3-1 ApplyPreSheafToMorphismInFiniteStrictCoproductCompletion
, for IsCapCategory, IsObjectInPreSheafCategory, IsMorphismInFiniteStrictCoproductCompletion 2.1-27 ApplyPreSheafToObjectInFiniteStrictCoproductCompletion
, for IsCapCategory, IsObjectInPreSheafCategory, IsObjectInFiniteStrictCoproductCompletion 2.1-26 Arrows
, for IsObjectInCategoryOfDecoratedQuivers 8.2-5 AsMorphismInFunctorCategory
, for IsCapNaturalTransformation 1.1-3 AsMorphismInFunctorCategoryByValues
, for IsFunctorCategory, IsObjectInFunctorCategory, IsList, IsObjectInFunctorCategory 1.1-3 AsObjectInFunctorCategory
, for IsCapCategory, IsList, IsList 1.1-2 AssociatedCoequalizerPairInPreSheaves
, for IsObjectInCategoryOfColimitQuivers 2.1-23 AssociatedMorphismIntoAlgebroidAsObjectInPreSheavesCategory
, for IsMorphismInAlgebroidFromDataTables 14.1-2 CategoryOfBouquetsEnrichedOver
, for IsCapCategory 4.1-1 CategoryOfColimitQuiversOfSourceCategory
, for IsPreSheafCategory 2.2-11 CategoryOfDecoratedQuivers
, for IsObjectInCategoryOfQuivers, IsList, IsList 8.1-1 CategoryOfInternalCategories
, for IsCapCategory 2.1-28 CategoryOfQuiversEnrichedOver
, for IsCapCategory 5.1-1 CategoryOfReflexiveQuiversEnrichedOver
, for IsCapCategory 7.1-1 CoequalizerDataOfPreSheafUsingCoYonedaLemma
, for IsObjectInPreSheafCategory 2.1-6 CoequalizerDataOfPreSheafUsingOptimizedCoYonedaLemma
, for IsObjectInPreSheafCategory 2.1-22 CoPreSheaves
, for IsCapCategory 12.4-1 CoveringListOfRepresentables
, for IsObjectInPreSheafCategory 2.1-13 CoveringListOfRepresentablesUsingSplits
, for IsObjectInPreSheafCategory 2.1-14 CoYonedaEmbedding
, for IsCapCategory 12.2-9 CoYonedaEmbeddingOfSourceCategory
, for IsCoPreSheafCategory 12.2-10 CoYonedaLemmaCoequalizerPair
, for IsObjectInPreSheafCategory 2.1-7 CoYonedaLemmaOnMorphisms
, for IsMorphismInPreSheafCategory 2.1-5 CoYonedaLemmaOnObjects
, for IsObjectInPreSheafCategory 2.1-4 CreateBouquet
, for IsCategoryOfBouquets, IsInt, IsList 4.1-2 CreateBouquetMorphism
, for IsObjectInCategoryOfBouquets, IsList, IsList, IsObjectInCategoryOfBouquets 4.1-4 CreateCoPreSheaf
, for IsCapCategory, IsList, IsList 12.4-2 CreateCoPreSheafMorphism
, for IsCapNaturalTransformation 12.4-3 CreateCoPreSheafMorphismByValues
, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsList, IsObjectInCoPreSheafCategory 12.4-3 CreateDecoratedQuiver
, for IsCategoryOfDecoratedQuivers, IsList, IsList 8.1-2 CreateDecoratedQuiverMorphism
, for IsObjectInCategoryOfDecoratedQuivers, IsList, IsList, IsObjectInCategoryOfDecoratedQuivers 8.1-3 CreatePreSheaf
, for IsCapCategory, IsList, IsList 2.1-2 CreatePreSheafMorphism
, for IsCapNaturalTransformation 2.1-3 CreatePreSheafMorphismByFunction
, for IsObjectInPreSheafCategory, IsFunction, IsObjectInPreSheafCategory 2.1-3 CreatePreSheafMorphismByValues
, for IsPreSheafCategory, IsObjectInPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-3 CreateQuiver
, for IsCategoryOfQuivers, IsInt, IsList 5.1-2 CreateQuiverMorphism
, for IsObjectInCategoryOfQuivers, IsList, IsList, IsObjectInCategoryOfQuivers 5.1-4 CreateReflexiveQuiver
, for IsCategoryOfReflexiveQuivers, IsInt, IsList, IsList 7.1-2 CreateReflexiveQuiverMorphism
, for IsObjectInCategoryOfReflexiveQuivers, IsList, IsList, IsObjectInCategoryOfReflexiveQuivers 7.1-4 DecomposeOnceByRandomEndomorphism
, for IsObjectInFunctorCategory 1.3-1 DecorationOfArrows
, for IsCategoryOfDecoratedQuivers 8.2-3 DecorationOfVertices
, for IsCategoryOfDecoratedQuivers 8.2-2 DotVertexLabelledDigraph
, for IsCellInCategoryOfBouquets 4.2-5 EmbeddingFunctorOfFiniteStrictCoproductCompletionIntoPreSheaves
, for IsPreSheafCategory 2.1-9 EmbeddingFunctorOfFiniteStrictCoproductCompletionIntoPreSheavesData
, for IsPreSheafCategory 2.1-8 EmbeddingOfUnderlyingCategory
, for IsAbelianClosure 10.2-2 EpimorphismFromSomeProjectiveObjectUsingSplits
, for IsObjectInPreSheafCategory 2.1-15 EquivalenceFromFullSubcategoryOfProjectivesObjectsIntoAdditiveClosureOfSource
, for IsPreSheafCategory 11.2-9 FinBouquets
4.4-2 FiniteCocompletion
, for IsCapCategory 3.1-1 FiniteColimitCompletionWithStrictCoproductsOfSourceCategory
, for IsPreSheafCategory 2.2-10 FiniteCompletion
, for IsCapCategory 9.1-1 FiniteStrictCoproductCompletionOfSourceCategory
, for IsPreSheafCategory 2.2-9 FinQuivers
5.4-1 FinReflexiveQuivers
7.4-2 FreeDistributiveCompletion
, for IsCapCategory 13.3-1 FunctorCategory
, for IsCapCategory 1.1-1 Hom
, for IsCapCategory, IsCapCategory 1.1-1 ImageOfYonedaEmbeddingOfSource
, for IsPreSheafCategory 2.2-5 IsAbelianClosure
, for IsCapCategory 10.3-1 IsbellAdjunctionMonad
, for IsCapCategory 11.2-5 IsbellLeftAdjoint
, for IsCapCategory 11.2-3 IsbellRightAdjoint
, for IsCapCategory 11.2-4 IsCategoryOfBouquets
, for IsCapCategory 4.5-1 IsCategoryOfDecoratedQuivers
, for IsCapCategory 8.5-1 IsCategoryOfQuivers
, for IsCapCategory 5.5-1 IsCategoryOfReflexiveQuivers
, for IsCapCategory 7.5-1 IsCellInAbelianClosure
, for IsCapCategoryCell 10.3-2 IsCellInCategoryOfBouquets
, for IsCapCategoryCell 4.5-2 IsCellInCategoryOfDecoratedQuivers
, for IsCapCategoryCell 8.5-2 IsCellInCategoryOfQuivers
, for IsCapCategoryCell 5.5-2 IsCellInCategoryOfReflexiveQuivers
, for IsCapCategoryCell 7.5-2 IsCellInCoPreSheafCategory
, for IsCapCategoryCell 12.1-2 IsCellInFiniteCocompletion
, for IsCapCategoryCell 3.3-2 IsCellInFiniteCompletion
, for IsCapCategoryCell 9.3-2 IsCellInFreeDistributiveCompletion
, for IsCapCategoryCell 13.1-2 IsCellInFunctorCategory
, for IsCapCategoryCell 1.4-2 IsCellInPreSheafCategoryOfFpEnrichedCategory
, for IsCellInPreSheafCategory 2.4-2 IsCoPreSheafCategory
, for IsCapCategory 12.1-1 IsFiniteCocompletion
, for IsCapCategory 3.3-1 IsFiniteCompletion
, for IsCapCategory 9.3-1 IsFreeDistributiveCompletion
, for IsCapCategory 13.1-1 IsFunctorCategory
, for IsCapCategory 1.4-1 IsMorphismInAbelianClosure
, for IsCellInAbelianClosure andIsCapCategoryMorphism 10.3-4 IsMorphismInCategoryOfBouquets
, for IsCellInCategoryOfBouquets andIsCapCategoryMorphism 4.5-4 IsMorphismInCategoryOfDecoratedQuivers
, for IsCellInCategoryOfDecoratedQuivers andIsCapCategoryMorphism 8.5-4 IsMorphismInCategoryOfQuivers
, for IsCellInCategoryOfQuivers andIsCapCategoryMorphism 5.5-4 IsMorphismInCategoryOfReflexiveQuivers
, for IsCellInCategoryOfReflexiveQuivers andIsCapCategoryMorphism 7.5-4 IsMorphismInCoPreSheafCategory
, for IsCellInCoPreSheafCategory andIsCapCategoryMorphism 12.1-4 IsMorphismInFiniteCocompletion
, for IsCellInFiniteCocompletion andIsCapCategoryMorphism 3.3-4 IsMorphismInFiniteCompletion
, for IsCellInFiniteCompletion andIsCapCategoryMorphism 9.3-4 IsMorphismInFreeDistributiveCompletion
, for IsCellInFreeDistributiveCompletion andIsCapCategoryMorphism 13.1-4 IsMorphismInFunctorCategory
, for IsCellInFunctorCategory andIsCapCategoryMorphism 1.4-4 IsMorphismInPreSheafCategoryOfFpEnrichedCategory
, for IsCellInPreSheafCategoryOfFpEnrichedCategory andIsMorphismInPreSheafCategory 2.4-4 IsObjectInAbelianClosure
, for IsCellInAbelianClosure andIsCapCategoryObject 10.3-3 IsObjectInCategoryOfBouquets
, for IsCellInCategoryOfBouquets andIsCapCategoryObject 4.5-3 IsObjectInCategoryOfDecoratedQuivers
, for IsCellInCategoryOfDecoratedQuivers andIsCapCategoryObject 8.5-3 IsObjectInCategoryOfQuivers
, for IsCellInCategoryOfQuivers andIsCapCategoryObject 5.5-3 IsObjectInCategoryOfReflexiveQuivers
, for IsCellInCategoryOfReflexiveQuivers andIsCapCategoryObject 7.5-3 IsObjectInCoPreSheafCategory
, for IsCellInCoPreSheafCategory andIsCapCategoryObject 12.1-3 IsObjectInFiniteCocompletion
, for IsCellInFiniteCocompletion andIsCapCategoryObject 3.3-3 IsObjectInFiniteCompletion
, for IsCellInFiniteCompletion andIsCapCategoryObject 9.3-3 IsObjectInFreeDistributiveCompletion
, for IsCellInFreeDistributiveCompletion andIsCapCategoryObject 13.1-3 IsObjectInFunctorCategory
, for IsCellInFunctorCategory andIsCapCategoryObject 1.4-3 IsObjectInPreSheafCategoryOfFpEnrichedCategory
, for IsCellInPreSheafCategoryOfFpEnrichedCategory andIsObjectInPreSheafCategory 2.4-3 IsomorphismFromImageOfYonedaEmbeddingOfSourceIntoSource
, for IsPreSheafCategory 11.2-8 IsomorphismFromSourceIntoImageOfYonedaEmbeddingOfSource
, for IsPreSheafCategory 11.2-7 IsPreSheafCategoryOfFpEnrichedCategory
, for IsPreSheafCategory 2.4-1 IsReflexive
, for IsCapCategoryObject 15.1-1 Loops
, for IsObjectInCategoryOfBouquets 4.2-3 MaximalMorphismFromRepresentable
, for IsObjectInPreSheafCategory 2.1-12 MorphismFromCoproductOfRepresentables
, for IsPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-11 MorphismFromRepresentableByYonedaLemma
, for IsPreSheafCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsObjectInPreSheafCategory 2.1-10 NakayamaLeftAdjoint
, for IsAlgebroid 11.2-1 NakayamaRightAdjoint
, for IsAlgebroid 11.2-2 NerveTruncatedInDegree2
, for IsCapCategory 2.2-7 OppositeOfSource
, for IsCoPreSheafCategory 12.2-5 OptimizedCoYonedaLemmaCoequalizerPair
, for IsObjectInPreSheafCategory 2.1-25 OptimizedCoYonedaLemmaOnMorphisms
, for IsMorphismInPreSheafCategory 2.1-21 OptimizedCoYonedaLemmaOnObjects
, for IsObjectInPreSheafCategory 2.1-20 PreSheaves
, for IsCapCategory, IsHomalgRing 2.1-1 QuiverOfCategoryOfBouquets
4.4-1 QuiverOfCategoryOfReflexiveQuivers
7.4-1 RetractionByCoveringListOfRepresentables
, for IsPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-18 RetractionFromCoYonedaProjectiveObjectOntoOptimizedCoYonedaProjectiveObject
, for IsObjectInPreSheafCategory 2.1-19 SectionAndComplementByCoveringListOfRepresentables
, for IsPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-16 SectionFromOptimizedCoYonedaProjectiveObjectIntoCoYonedaProjectiveObject
, for IsObjectInPreSheafCategory 2.1-17 SievesOfPathsToTruth
, for IsMorphismInPreSheafCategory 2.2-8 SimpleObjects
, for IsPreSheafCategory 2.2-6 Source
, for IsCoPreSheafCategory 12.2-1 Subobject
, for IsObjectInCategoryOfBouquets, IsList 4.1-6 SvgString
, for IsCellInCategoryOfBouquets 4.2-4 Target
, for IsCoPreSheafCategory 12.2-2 UnderlyingCapTwoCategoryCell
, for IsCellInCoPreSheafCategory 12.2-8 UnderlyingCategory
, for IsAbelianClosure 10.2-1 UnitOfIsbellAdjunction
, for IsPreSheafCategory 11.2-6 ValuesOfCoPreSheaf
, for IsObjectInCoPreSheafCategory 12.2-6 ValuesOfFunctor
, for IsObjectInFunctorCategory 1.2-6 ValuesOnAllObjects
, for IsMorphismInCoPreSheafCategory 12.2-7 WeakDirectSumDecomposition
, for IsObjectInFunctorCategory 1.3-2 YonedaComposition
, for IsCapCategory 1.2-13 YonedaEmbedding
, for IsCapCategory 2.2-3 YonedaEmbeddingInFunctorCategory
, for IsCapCategory 1.2-9 YonedaEmbeddingOfOppositeOfSourceCategory
, for IsFunctorCategory 1.2-10 YonedaEmbeddingOfSourceCategory
, for IsPreSheafCategory 2.2-4 YonedaFibration
, for IsCapCategory 1.2-11 YonedaProjection
, for IsCapCategory 1.2-12
generated by GAPDoc2HTML