AbelianClosure
, for IsAlgebroid 11.1-1 AddIsReflexive
, for IsCapCategory, IsFunction 13.1-1 ApplyMorphismInCoPreSheafCategoryToObject
, for IsCoPreSheafCategory, IsMorphismInCoPreSheafCategory, IsCapCategoryObject 9.3-3 ApplyMorphismInFunctorCategoryToObject
, for IsFunctorCategory, IsMorphismInFunctorCategory, IsCapCategoryObject 1.3-5 ApplyMorphismInPreSheafCategoryToObject
, for IsPreSheafCategory, IsMorphismInPreSheafCategory, IsCapCategoryObject 2.3-3 ApplyObjectInCoPreSheafCategoryToMorphism
, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsCapCategoryMorphism 9.3-2 ApplyObjectInCoPreSheafCategoryToObject
, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsCapCategoryObject 9.3-1 ApplyObjectInFunctorCategoryToMorphism
, for IsFunctorCategory, IsObjectInFunctorCategory, IsCapCategoryMorphism 1.3-4 ApplyObjectInFunctorCategoryToObject
, for IsFunctorCategory, IsObjectInFunctorCategory, IsCapCategoryObject 1.3-3 ApplyObjectInPreSheafCategoryToMorphism
, for IsPreSheafCategory, IsObjectInPreSheafCategory, IsCapCategoryMorphism 2.3-2 ApplyObjectInPreSheafCategoryToObject
, for IsPreSheafCategory, IsObjectInPreSheafCategory, IsCapCategoryObject 2.3-1 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 CAP_INTERNAL_METHOD_NAME_LIST_FOR_MONOIDAL_PRESHEAF_CATEGORY
2.5-2 CAP_INTERNAL_METHOD_NAME_LIST_FOR_MONOIDAL_PRESHEAF_CATEGORY_WITH_DUALS
2.5-3 CAP_INTERNAL_METHOD_NAME_LIST_FOR_PRESHEAF_CATEGORY
2.5-1 CategoryOfBouquetsEnrichedOver
, for IsCapCategory 4.1-1 CategoryOfDecoratedQuivers
, for IsObjectInCategoryOfQuivers, IsList, IsList 8.1-1 CategoryOfInternalCategories
, for IsCapCategory 2.1-6 CategoryOfQuiversEnrichedOver
, for IsCapCategory 5.1-1 CategoryOfReflexiveQuiversEnrichedOver
, for IsCapCategory 7.1-1 CoPreSheaves
, for IsCapCategory 9.1-1 CoYonedaEmbedding
, for IsCapCategory 9.2-9 CoYonedaEmbeddingOfSourceCategory
, for IsCoPreSheafCategory 9.2-10 CoYonedaEmbeddingOfUnderlyingCategory
, for IsFiniteCompletion 10.2-2 CoYonedaLemma
, 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 9.1-2 CreateCoPreSheafMorphism
, for IsCapNaturalTransformation 9.1-3 CreateCoPreSheafMorphismByValues
, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsList, IsObjectInCoPreSheafCategory 9.1-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 EquivalenceFromFullSubcategoryOfProjectivesObjectsIntoAdditiveClosureOfSource
, for IsPreSheafCategory 12.2-9 FinBouquets
4.4-2 FiniteCocompletion
, for IsCapCategory 3.1-1 FiniteCompletion
, for IsCapCategory 10.1-1 FinQuivers
5.4-2 7.4-2 FunctorCategory
, for IsCapCategory 1.1-1 Hom
, for IsCapCategory, IsCapCategory 1.1-1 ImageOfYonedaEmbeddingOfSource
, for IsPreSheafCategory 2.2-9 IsAbelianClosure
, for IsCapCategory 11.3-1 IsbellAdjunctionMonad
, for IsCapCategory 12.2-5 IsbellLeftAdjoint
, for IsCapCategory 12.2-3 IsbellRightAdjoint
, for IsCapCategory 12.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 11.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 9.4-2 IsCellInFiniteCocompletion
, for IsCapCategoryCell 3.3-2 IsCellInFiniteCompletion
, for IsCapCategoryCell 10.3-2 IsCellInFunctorCategory
, for IsCapCategoryCell 1.4-2 IsCellInPreSheafCategory
, for IsCapCategoryCell 2.4-2 IsCellInPreSheafCategoryOfFpEnrichedCategory
, for IsCellInPreSheafCategory 2.4-6 IsCoPreSheafCategory
, for IsCapCategory 9.4-1 IsFiniteCocompletion
, for IsCapCategory 3.3-1 IsFiniteCompletion
, for IsCapCategory 10.3-1 IsFunctorCategory
, for IsCapCategory 1.4-1 IsMorphismInAbelianClosure
, for IsCellInAbelianClosure andIsCapCategoryMorphism 11.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 9.4-4 IsMorphismInFiniteCocompletion
, for IsCellInFiniteCocompletion andIsCapCategoryMorphism 3.3-4 IsMorphismInFiniteCompletion
, for IsCellInFiniteCompletion andIsCapCategoryMorphism 10.3-4 IsMorphismInFunctorCategory
, for IsCellInFunctorCategory andIsCapCategoryMorphism 1.4-4 IsMorphismInPreSheafCategory
, for IsCellInPreSheafCategory andIsCapCategoryMorphism 2.4-4 IsMorphismInPreSheafCategoryOfFpEnrichedCategory
, for IsCellInPreSheafCategoryOfFpEnrichedCategory andIsMorphismInPreSheafCategory 2.4-8 IsObjectInAbelianClosure
, for IsCellInAbelianClosure andIsCapCategoryObject 11.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 9.4-3 IsObjectInFiniteCocompletion
, for IsCellInFiniteCocompletion andIsCapCategoryObject 3.3-3 IsObjectInFiniteCompletion
, for IsCellInFiniteCompletion andIsCapCategoryObject 10.3-3 IsObjectInFunctorCategory
, for IsCellInFunctorCategory andIsCapCategoryObject 1.4-3 IsObjectInPreSheafCategory
, for IsCellInPreSheafCategory andIsCapCategoryObject 2.4-3 IsObjectInPreSheafCategoryOfFpEnrichedCategory
, for IsCellInPreSheafCategoryOfFpEnrichedCategory andIsObjectInPreSheafCategory 2.4-7 IsomorphismFromImageOfYonedaEmbeddingOfSourceIntoSource
, for IsPreSheafCategory 12.2-8 IsomorphismFromSourceIntoImageOfYonedaEmbeddingOfSource
, for IsPreSheafCategory 12.2-7 IsPreSheafCategory
, for IsCapCategory 2.4-1 IsPreSheafCategoryOfFpEnrichedCategory
, for IsPreSheafCategory 2.4-5 IsReflexive
, for IsCapCategoryObject 14.1-1 Loops
, for IsObjectInCategoryOfBouquets 4.2-3 NakayamaLeftAdjoint
, for IsAlgebroid 12.2-1 NakayamaRightAdjoint
, for IsAlgebroid 12.2-2 NerveTruncatedInDegree2
, for IsCapCategory 2.2-11 OppositeOfSource
, for IsCoPreSheafCategory 9.2-5 PreSheaves
, for IsCapCategory 2.1-1 QuiverOfCategoryOfBouquets
4.4-1 QuiverOfCategoryOfQuivers
5.4-1 QuiverOfCategoryOfReflexiveQuivers
7.4-1 Range
, for IsCoPreSheafCategory 9.2-2 SievesOfPathsToTruth
, for IsMorphismInPreSheafCategory 2.2-12 SimpleObjects
, for IsPreSheafCategory 2.2-10 SomeDiagramOfRepresentables
, for IsObjectInPreSheafCategory 2.1-5 Source
, for IsCoPreSheafCategory 9.2-1 Subobject
, for IsObjectInCategoryOfBouquets, IsList 4.1-6 SvgString
, for IsCellInCategoryOfBouquets 4.2-4 UnderlyingCapTwoCategoryCell
, for IsCellInCoPreSheafCategory 9.2-8 UnderlyingCategory
, for IsAbelianClosure 11.2-1 UnitOfIsbellAdjunction
, for IsPreSheafCategory 12.2-6 ValuesOfCoPreSheaf
, for IsObjectInCoPreSheafCategory 9.2-6 ValuesOfFunctor
, for IsObjectInFunctorCategory 1.2-6 ValuesOnAllObjects
, for IsMorphismInCoPreSheafCategory 9.2-7 WeakDirectSumDecomposition
, for IsObjectInFunctorCategory 1.3-2 YonedaComposition
, for IsCapCategory 1.2-13 YonedaEmbedding
, for IsCapCategory 2.2-7 YonedaEmbeddingInFunctorCategory
, for IsCapCategory 1.2-9 YonedaEmbeddingOfOppositeOfSourceCategory
, for IsFunctorCategory 1.2-10 YonedaEmbeddingOfSourceCategory
, for IsPreSheafCategory 2.2-8 YonedaEmbeddingOfUnderlyingCategory
, for IsAbelianClosure 11.2-2 YonedaFibration
, for IsCapCategory 1.2-11 YonedaProjection
, for IsCapCategory 1.2-12
generated by GAPDoc2HTML