Index

CategoryWithAmbientObjects, for IsCapCategory 1.3-7
CreateLazyGeneralizedEmbeddingInAmbientObject, for IsCapCategoryObject, IsFunction, IsList 1.3-1
DisplayEmbeddingInAmbientObject, for IsCapCategoryObjectWithAmbientObject 1.3-8
EmbeddingInAmbientObject, for IsCapCategoryObjectWithAmbientObject 1.2-4
    for IsLazyGeneralizedEmbeddingInAmbientObject 1.2-3
EvaluatedGeneralizedEmbeddingInAmbientObject, for IsLazyGeneralizedEmbeddingInAmbientObject 1.2-1
GeneralizedEmbeddingInAmbientObject, for IsCapCategoryObjectWithAmbientObject 1.2-2
IsCapCategoryMorphismWithAmbientObject, for IsCapCategoryMorphism 1.1-4
IsCapCategoryObjectWithAmbientObject, for IsCapCategoryObject 1.1-3
IsCapCategoryWithAmbientObjects, for IsCapCategory 1.1-1
IsLazyGeneralizedEmbeddingInAmbientObject, for IsAttributeStoringRep 1.1-2
LazyGeneralizedEmbeddingInAmbientObject, for IsCapCategoryObjectWithAmbientObject 1.3-2
MorphismWithAmbientObject, for IsCapCategoryObjectWithAmbientObject, IsCapCategoryMorphism, IsCapCategoryObjectWithAmbientObject 1.3-6
ObjectWithAmbientObject, for IsCapCategoryObject, IsCapCategory 1.3-4
    for IsGeneralizedMorphismByCospan, IsCapCategory 1.3-3
ObjectWithAmbientObjectFromLazyGeneralizedEmbedding, for IsLazyGeneralizedEmbeddingInAmbientObject, IsCapCategory 1.3-5
WithAmbientObject, for IsCapFunctor, IsCapCategory 1.3-9
    for IsCapFunctor, IsCapCategory, IsCapCategory 1.3-9
    for IsCapFunctor, IsString, IsCapCategory 1.3-9
    for IsCapFunctor, IsString, IsCapCategory, IsCapCategory 1.3-9
    for IsCapNaturalTransformation, IsCapFunctor, IsCapFunctor 1.3-10
    for IsCapNaturalTransformation, IsString, IsCapFunctor, IsCapFunctor 1.3-10