Index

IsBicomplexesCategory, for IsCapCategory 1.1-1
IsBicomplexesCategoryByChains, for IsBicomplexesCategory 1.1-3
IsBicomplexesCategoryByCochains, for IsBicomplexesCategory 1.1-2
IsChainBicomplex, for IsChainOrCochainBicomplex 1.3-3
IsChainBicomplexMorphism, for IsChainOrCochainBicomplexMorphism 1.2-3
IsChainOrCochainBicomplex, for IsCapCategoryObject 1.3-1
IsChainOrCochainBicomplexMorphism, for IsCapCategoryMorphism 1.2-1
IsCochainBicomplex, for IsChainOrCochainBicomplex 1.3-2
IsCochainBicomplexMorphism, for IsChainOrCochainBicomplexMorphism 1.2-2