Index

ApplyMorphismInPreSheafCategoryToObject, for IsPreSheafCategory, IsMorphismInPreSheafCategory, IsCapCategoryObject 1.3-3
    for IsPreSheafWithBoundsCategory, IsMorphismInPreSheafWithBoundsCategory, IsCapCategoryObject 2.4-3
ApplyObjectInPreSheafCategoryToMorphism, for IsPreSheafCategory, IsObjectInPreSheafCategory, IsCapCategoryMorphism 1.3-2
    for IsPreSheafWithBoundsCategory, IsObjectInPreSheafWithBoundsCategory, IsCapCategoryMorphism 2.4-2
ApplyObjectInPreSheafCategoryToObject, for IsPreSheafCategory, IsObjectInPreSheafCategory, IsCapCategoryObject 1.3-1
    for IsPreSheafWithBoundsCategory, IsObjectInPreSheafWithBoundsCategory, IsCapCategoryObject 2.4-1
CoYonedaLemmaOnMorphisms, for IsMorphismInPreSheafWithBoundsCategory 2.2-9
CoYonedaLemmaOnObjects, for IsObjectInPreSheafWithBoundsCategory 2.2-8
IsCellInPreSheafCategory, for IsCapCategoryCell 1.4-2
IsCellInPreSheafWithBoundsCategory, for IsCapCategoryCell 2.1-2
IsMorphismInPreSheafCategory, for IsCellInPreSheafCategory andIsCapCategoryMorphism 1.4-4
IsMorphismInPreSheafWithBoundsCategory, for IsCellInPreSheafWithBoundsCategory andIsCapCategoryMorphism 2.1-4
IsObjectInPreSheafCategory, for IsCellInPreSheafCategory andIsCapCategoryObject 1.4-3
IsObjectInPreSheafWithBoundsCategory, for IsCellInPreSheafWithBoundsCategory andIsCapCategoryObject 2.1-3
IsPreSheafCategory, for IsCapCategory 1.4-1
IsPreSheafWithBoundsCategory, for IsCapCategory 2.1-1
OppositeOfSource, for IsPreSheafCategory 1.1-3
    for IsPreSheafWithBoundsCategory 2.2-3
PreSheaves, for IsCapCategory 1.2-1
    for IsCapCategory, IsCapCategory 1.2-1
PreSheavesWithBounds, for IsCapCategory 2.3-1
    for IsCapCategory, IsCapCategory, IsStringRep 2.3-1
Source, for IsObjectInPreSheafCategory 1.1-4
    for IsObjectInPreSheafWithBoundsCategory 2.2-4
    for IsPreSheafCategory 1.1-1
    for IsPreSheafWithBoundsCategory 2.2-1
Target, for IsObjectInPreSheafCategory 1.1-5
    for IsObjectInPreSheafWithBoundsCategory 2.2-5
    for IsPreSheafCategory 1.1-2
    for IsPreSheafWithBoundsCategory 2.2-2
YonedaEmbedding, for IsCapCategory 2.2-6
YonedaEmbeddingOfSourceCategory, for IsPreSheafCategory 1.1-6
    for IsPreSheafWithBoundsCategory 2.2-7