Index

AsCategoryOfBicomplexes, for IsCapCategory 1.2-5
AssociatedBicomplex, for IsCapNaturalTransformation 1.2-4
    for IsCapNaturalTransformation, IsString 1.2-4
AssociatedBicomplexFunctor, for IsCapFunctor 1.2-3
    for IsCapFunctor, IsString 1.2-3
AssociatedBicomplexMorphism, for IsChainOrCochainMorphism 1.2-2
AssociatedBicomplexObject, for IsChainOrCochainComplex 1.2-1
HomologicalBicomplex, for IsCapCategory, IsFunction, IsFunction 1.4-3
    for IsCapCategory, IsZFunction, IsZFunction 1.4-2
    for IsChainComplex 1.4-1
IsCapCategoryBicomplexCell, for IsCapCategoryCell andIsAttributeStoringRep 1.1-1
IsCapCategoryBicomplexMorphism, for IsCapCategoryBicomplexCell andIsCapCategoryMorphism 1.1-5
IsCapCategoryBicomplexObject, for IsCapCategoryBicomplexCell andIsCapCategoryObject 1.1-2
IsCapCategoryCohomologicalBicomplexMorphism, for IsCapCategoryBicomplexMorphism 1.1-7
IsCapCategoryCohomologicalBicomplexObject, for IsCapCategoryBicomplexObject 1.1-4
IsCapCategoryHomologicalBicomplexMorphism, for IsCapCategoryBicomplexMorphism 1.1-6
IsCapCategoryHomologicalBicomplexObject, for IsCapCategoryBicomplexObject 1.1-3
UnderlyingCapCategoryCell, for IsObject 1.3-2
UnderlyingCategoryOfComplexesOfComplexes, for IsCapCategory 1.3-1