‣ IsCapCategoryBicomplexCell( arg ) | ( filter ) |
Returns: true or false
The GAP category of cells in a CAP category of bicomplexes.
‣ IsCapCategoryBicomplexObject( arg ) | ( filter ) |
Returns: true or false
The GAP category of bicomplex objects in a CAP category of bicomplexes.
‣ IsCapCategoryHomologicalBicomplexObject( arg ) | ( filter ) |
Returns: true or false
The GAP category of homological bicomplex objects in a CAP category of bicomplexes.
‣ IsCapCategoryCohomologicalBicomplexObject( arg ) | ( filter ) |
Returns: true or false
The GAP category of cohomological bicomplex objects in a CAP category of bicomplexes.
‣ IsCapCategoryBicomplexMorphism( arg ) | ( filter ) |
Returns: true or false
The GAP category of bicomplex morphisms in a CAP category of bicomplexes.
‣ IsCapCategoryHomologicalBicomplexMorphism( arg ) | ( filter ) |
Returns: true or false
The GAP category of homological bicomplex morphisms in a CAP category of bicomplexes.
‣ IsCapCategoryCohomologicalBicomplexMorphism( arg ) | ( filter ) |
Returns: true or false
The GAP category of cohomological bicomplex morphisms in a CAP category of bicomplexes.
‣ AssociatedBicomplexObject( cx ) | ( attribute ) |
Returns: a CAP object
Return the bicomplex associated to the complex of complexes cx.
‣ AssociatedBicomplexMorphism( mu ) | ( attribute ) |
Returns: a CAP morphism
Return the morphism of bicomplexes associated to the chain morphism between two complexes of complexes mu.
‣ AssociatedBicomplexFunctor( F, name ) | ( operation ) |
‣ AssociatedBicomplexFunctor( F ) | ( attribute ) |
Returns: a CAP functor
‣ AssociatedBicomplex( eta, name ) | ( operation ) |
‣ AssociatedBicomplex( eta ) | ( attribute ) |
Returns: a CAP natural transformation
‣ AsCategoryOfBicomplexes( A ) | ( attribute ) |
Returns: a CAP category
Return the category of bicomplexes of the Abelian category A of complexes of complexes.
‣ UnderlyingCategoryOfComplexesOfComplexes( Bicx ) | ( attribute ) |
The category of double complexes underlying the category of bicomplexes Bicx.
‣ UnderlyingCapCategoryCell( B ) | ( attribute ) |
The complex of complexes underlying the bicomplex B.
‣ HomologicalBicomplex( C ) | ( operation ) |
Returns: B
The input is a chain of chains. The output is the corresponding anti-commutative homological bicomplex.
‣ HomologicalBicomplex( C, h, v ) | ( operation ) |
Returns: B
The input is Cap category and two infinite lists(??????). The output is the corresponding anti-commutative homological bicomplex.
‣ HomologicalBicomplex( C, h, v ) | ( operation ) |
Returns: B
The input is Cap category and two functions. The output is the corresponding anti-commutative homological bicomplex.
generated by GAPDoc2HTML