Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Ind
 [Top of Book]  [Contents]   [Previous Chapter] 

Index

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
    for IsObjectInCategoryOfQuivers 5.2-3
    for IsObjectInCategoryOfReflexiveQuivers 7.2-4
AsMorphismInFunctorCategory, for IsCapNaturalTransformation 1.1-3
    for IsObjectInFunctorCategory, IsFunction, IsObjectInFunctorCategory 1.1-3
    for IsObjectInFunctorCategory, IsList, IsObjectInFunctorCategory 1.1-3
    for IsObjectInFunctorCategory, IsRecord, IsObjectInFunctorCategory 1.1-3
AsMorphismInFunctorCategoryByValues, for IsFunctorCategory, IsObjectInFunctorCategory, IsList, IsObjectInFunctorCategory 1.1-3
AsObjectInFunctorCategory, for IsCapCategory, IsList, IsList 1.1-2
    for IsCapCategory, IsRecord, IsRecord 1.1-2
    for IsCapFunctor 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
    for IsCapCategory, IsCapCategory 9.1-1
    for IsCapCategory, IsHomalgRing 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
    for IsInt, IsList 4.1-3
CreateBouquetMorphism, for IsObjectInCategoryOfBouquets, IsList, IsList, IsObjectInCategoryOfBouquets 4.1-4
CreateCoPreSheaf, for IsCapCategory, IsList, IsList 9.1-2
    for IsCapCategory, IsRecord, IsRecord 9.1-2
    for IsCapFunctor 9.1-2
CreateCoPreSheafMorphism, for IsCapNaturalTransformation 9.1-3
    for IsObjectInCoPreSheafCategory, IsFunction, IsObjectInCoPreSheafCategory 9.1-3
    for IsObjectInCoPreSheafCategory, IsList, IsObjectInCoPreSheafCategory 9.1-3
    for IsObjectInCoPreSheafCategory, IsRecord, IsObjectInCoPreSheafCategory 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
    for IsCapCategory, IsRecord, IsRecord 2.1-2
    for IsCapFunctor 2.1-2
CreatePreSheafMorphism, for IsCapNaturalTransformation 2.1-3
    for IsObjectInPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-3
    for IsObjectInPreSheafCategory, IsRecord, IsObjectInPreSheafCategory 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
    for IsInt, IsList 5.1-3
CreateQuiverMorphism, for IsObjectInCategoryOfQuivers, IsList, IsList, IsObjectInCategoryOfQuivers 5.1-4
CreateReflexiveQuiver, for IsCategoryOfReflexiveQuivers, IsInt, IsList, IsList 7.1-2
    for IsInt, IsList, IsList 7.1-3
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
    for IsCellInCategoryOfDecoratedQuivers 8.2-7
    for IsCellInCategoryOfQuivers 5.2-5
    for IsCellInCategoryOfReflexiveQuivers 7.2-6
EquivalenceFromFullSubcategoryOfProjectivesObjectsIntoAdditiveClosureOfSource, for IsPreSheafCategory 12.2-9
FinBouquets 4.4-2
FiniteCocompletion, for IsCapCategory 3.1-1
    for IsCapCategory, IsCapCategory 3.1-1
FiniteCompletion, for IsCapCategory 10.1-1
    for IsCapCategory, IsCapCategory 10.1-1
FinQuivers 5.4-2 7.4-2
FunctorCategory, for IsCapCategory 1.1-1
    for IsCapCategory, IsCapCategory 1.1-1
    for IsCapCategory, IsHomalgRing 1.1-1
Hom, for IsCapCategory, IsCapCategory 1.1-1
    for IsCapCategory, IsHomalgRing 1.1-1
ImageOfYonedaEmbeddingOfSource, for IsPreSheafCategory 2.2-9
IsAbelianClosure, for IsCapCategory 11.3-1
IsbellAdjunctionMonad, for IsCapCategory 12.2-5
    for IsPreSheafCategory, IsCoPreSheafCategory 12.2-5
IsbellLeftAdjoint, for IsCapCategory 12.2-3
    for IsPreSheafCategory, IsCoPreSheafCategory 12.2-3
IsbellRightAdjoint, for IsCapCategory 12.2-4
    for IsCoPreSheafCategory, IsPreSheafCategory 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
    for IsObjectInCategoryOfReflexiveQuivers 7.2-3
NakayamaLeftAdjoint, for IsAlgebroid 12.2-1
    for IsPreSheafCategory, IsCoPreSheafCategory 12.2-1
NakayamaRightAdjoint, for IsAlgebroid 12.2-2
    for IsCoPreSheafCategory, IsPreSheafCategory 12.2-2
NerveTruncatedInDegree2, for IsCapCategory 2.2-11
OppositeOfSource, for IsCoPreSheafCategory 9.2-5
    for IsFunctorCategory 1.2-5
PreSheaves, for IsCapCategory 2.1-1
    for IsCapCategory, IsCapCategory 2.1-1
    for IsCapCategory, IsHomalgRing 2.1-1
QuiverOfCategoryOfBouquets 4.4-1
QuiverOfCategoryOfQuivers 5.4-1
QuiverOfCategoryOfReflexiveQuivers 7.4-1
Range, for IsCoPreSheafCategory 9.2-2
    for IsFunctorCategory 1.2-2
    for IsObjectInCoPreSheafCategory 9.2-4
    for IsObjectInFunctorCategory 1.2-4
    for IsObjectInPreSheafCategory 2.2-4
    for IsPreSheafCategory 2.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
    for IsFunctorCategory 1.2-1
    for IsObjectInCoPreSheafCategory 9.2-3
    for IsObjectInFunctorCategory 1.2-3
    for IsObjectInPreSheafCategory 2.2-3
    for IsPreSheafCategory 2.2-1
Subobject, for IsObjectInCategoryOfBouquets, IsList 4.1-6
    for IsObjectInCategoryOfBouquets, IsList, IsList 4.1-5
    for IsObjectInCategoryOfDecoratedQuivers, IsList 8.1-5
    for IsObjectInCategoryOfDecoratedQuivers, IsList, IsList 8.1-4
    for IsObjectInCategoryOfQuivers, IsList 5.1-6
    for IsObjectInCategoryOfQuivers, IsList, IsList 5.1-5
    for IsObjectInCategoryOfReflexiveQuivers, IsList 7.1-6
    for IsObjectInCategoryOfReflexiveQuivers, IsList, IsList 7.1-5
SvgString, for IsCellInCategoryOfBouquets 4.2-4
    for IsCellInCategoryOfDecoratedQuivers 8.2-6
    for IsCellInCategoryOfQuivers 5.2-4
    for IsCellInCategoryOfReflexiveQuivers 7.2-5
UnderlyingCapTwoCategoryCell, for IsCellInCoPreSheafCategory 9.2-8
    for IsCellInFunctorCategory 1.2-8
    for IsCellInPreSheafCategory 2.2-6
UnderlyingCategory, for IsAbelianClosure 11.2-1
    for IsCategoryOfBouquets 4.2-1
    for IsCategoryOfDecoratedQuivers 8.2-1
    for IsCategoryOfQuivers 5.2-1
    for IsCategoryOfReflexiveQuivers 7.2-1
    for IsFiniteCocompletion 3.2-1
    for IsFiniteCompletion 10.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
    for IsMorphismInFunctorCategory 1.2-7
    for IsMorphismInPreSheafCategory 2.2-5
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
    for IsCategoryOfBouquets 4.2-2
    for IsCategoryOfDecoratedQuivers 8.2-4
    for IsCategoryOfQuivers 5.2-2
    for IsCategoryOfReflexiveQuivers 7.2-2
    for IsFiniteCocompletion 3.2-2
YonedaFibration, for IsCapCategory 1.2-11
YonedaProjection, for IsCapCategory 1.2-12

 [Top of Book]  [Contents]   [Previous Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Ind

generated by GAPDoc2HTML