‣ AddCounitOfShiftAdjunctionWithGivenObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation CounitOfShiftAdjunctionWithGivenObject. \(F: ( s, r ) \mapsto \mathtt{CounitOfShiftAdjunctionWithGivenObject}(s, r)\).
‣ AddDomainMorphismByOctahedralAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation DomainMorphismByOctahedralAxiomWithGivenObjects. \(F: ( arg2, arg3, arg4, arg5, arg6 ) \mapsto \mathtt{DomainMorphismByOctahedralAxiomWithGivenObjects}(arg2, arg3, arg4, arg5, arg6)\).
‣ AddInverseOfCounitOfShiftAdjunctionWithGivenObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation InverseOfCounitOfShiftAdjunctionWithGivenObject. \(F: ( s, r ) \mapsto \mathtt{InverseOfCounitOfShiftAdjunctionWithGivenObject}(s, r)\).
‣ AddInverseOfUnitOfShiftAdjunctionWithGivenObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation InverseOfUnitOfShiftAdjunctionWithGivenObject. \(F: ( s, r ) \mapsto \mathtt{InverseOfUnitOfShiftAdjunctionWithGivenObject}(s, r)\).
‣ AddInverseShiftExpandingIsomorphismWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation InverseShiftExpandingIsomorphismWithGivenObjects. \(F: ( s, L, r ) \mapsto \mathtt{InverseShiftExpandingIsomorphismWithGivenObjects}(s, L, r)\).
‣ AddInverseShiftFactoringIsomorphismWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation InverseShiftFactoringIsomorphismWithGivenObjects. \(F: ( s, L, r ) \mapsto \mathtt{InverseShiftFactoringIsomorphismWithGivenObjects}(s, L, r)\).
‣ AddInverseShiftOfMorphismWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation InverseShiftOfMorphismWithGivenObjects. \(F: ( s, alpha, r ) \mapsto \mathtt{InverseShiftOfMorphismWithGivenObjects}(s, alpha, r)\).
‣ AddInverseShiftOfObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation InverseShiftOfObject. \(F: ( arg2 ) \mapsto \mathtt{InverseShiftOfObject}(arg2)\).
‣ AddIsExactTriangle( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation IsExactTriangle. \(F: ( arg2, arg3, arg4 ) \mapsto \mathtt{IsExactTriangle}(arg2, arg3, arg4)\).
‣ AddMorphismBetweenStandardConeObjectsWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation MorphismBetweenStandardConeObjectsWithGivenObjects. \(F: ( cone_alpha, list, cone_alpha_prime ) \mapsto \mathtt{MorphismBetweenStandardConeObjectsWithGivenObjects}(cone_alpha, list, cone_alpha_prime)\).
‣ AddMorphismFromConeObjectByOctahedralAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation MorphismFromConeObjectByOctahedralAxiomWithGivenObjects. \(F: ( arg2, arg3, arg4, arg5, arg6 ) \mapsto \mathtt{MorphismFromConeObjectByOctahedralAxiomWithGivenObjects}(arg2, arg3, arg4, arg5, arg6)\).
‣ AddMorphismFromStandardConeObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation MorphismFromStandardConeObject. \(F: ( alpha ) \mapsto \mathtt{MorphismFromStandardConeObject}(alpha)\).
‣ AddMorphismFromStandardConeObjectWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation MorphismFromStandardConeObjectWithGivenObjects. \(F: ( cone_alpha, alpha, sh_source_alpha ) \mapsto \mathtt{MorphismFromStandardConeObjectWithGivenObjects}(cone_alpha, alpha, sh_source_alpha)\).
‣ AddMorphismIntoConeObjectByOctahedralAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation MorphismIntoConeObjectByOctahedralAxiomWithGivenObjects. \(F: ( arg2, arg3, arg4, arg5, arg6 ) \mapsto \mathtt{MorphismIntoConeObjectByOctahedralAxiomWithGivenObjects}(arg2, arg3, arg4, arg5, arg6)\).
‣ AddMorphismIntoStandardConeObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation MorphismIntoStandardConeObject. \(F: ( alpha ) \mapsto \mathtt{MorphismIntoStandardConeObject}(alpha)\).
‣ AddMorphismIntoStandardConeObjectWithGivenStandardConeObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation MorphismIntoStandardConeObjectWithGivenStandardConeObject. \(F: ( alpha, cone ) \mapsto \mathtt{MorphismIntoStandardConeObjectWithGivenStandardConeObject}(alpha, cone)\).
‣ AddShiftExpandingIsomorphismWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation ShiftExpandingIsomorphismWithGivenObjects. \(F: ( s, L, r ) \mapsto \mathtt{ShiftExpandingIsomorphismWithGivenObjects}(s, L, r)\).
‣ AddShiftFactoringIsomorphismWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation ShiftFactoringIsomorphismWithGivenObjects. \(F: ( s, L, r ) \mapsto \mathtt{ShiftFactoringIsomorphismWithGivenObjects}(s, L, r)\).
‣ AddShiftOfMorphismByInteger( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation ShiftOfMorphismByInteger. \(F: ( arg2, arg3 ) \mapsto \mathtt{ShiftOfMorphismByInteger}(arg2, arg3)\).
‣ AddShiftOfMorphismByIntegerWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation ShiftOfMorphismByIntegerWithGivenObjects. \(F: ( arg2, arg3, arg4, arg5 ) \mapsto \mathtt{ShiftOfMorphismByIntegerWithGivenObjects}(arg2, arg3, arg4, arg5)\).
‣ AddShiftOfMorphismWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation ShiftOfMorphismWithGivenObjects. \(F: ( arg2, arg3, arg4 ) \mapsto \mathtt{ShiftOfMorphismWithGivenObjects}(arg2, arg3, arg4)\).
‣ AddShiftOfObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation ShiftOfObject. \(F: ( arg2 ) \mapsto \mathtt{ShiftOfObject}(arg2)\).
‣ AddShiftOfObjectByInteger( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation ShiftOfObjectByInteger. \(F: ( arg2, arg3 ) \mapsto \mathtt{ShiftOfObjectByInteger}(arg2, arg3)\).
‣ AddStandardConeObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation StandardConeObject. \(F: ( arg2 ) \mapsto \mathtt{StandardConeObject}(arg2)\).
‣ AddUnitOfShiftAdjunctionWithGivenObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation UnitOfShiftAdjunctionWithGivenObject. \(F: ( s, r ) \mapsto \mathtt{UnitOfShiftAdjunctionWithGivenObject}(s, r)\).
‣ AddWitnessIsomorphismFromStandardConeObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation WitnessIsomorphismFromStandardConeObject. \(F: ( alpha, iota, pi ) \mapsto \mathtt{WitnessIsomorphismFromStandardConeObject}(alpha, iota, pi)\).
‣ AddWitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects. \(F: ( st_cone, f, cone ) \mapsto \mathtt{WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects}(st_cone, f, cone)\).
‣ AddWitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation WitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects. \(F: ( st_cone, f, g, h, cone_g ) \mapsto \mathtt{WitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects}(st_cone, f, g, h, cone_g)\).
‣ AddWitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation WitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects. \(F: ( st_cone, f, cone ) \mapsto \mathtt{WitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects}(st_cone, f, cone)\).
‣ AddWitnessIsomorphismIntoStandardConeObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation WitnessIsomorphismIntoStandardConeObject. \(F: ( alpha, iota, pi ) \mapsto \mathtt{WitnessIsomorphismIntoStandardConeObject}(alpha, iota, pi)\).
‣ AddWitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation WitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiomWithGivenObjects. \(F: ( cone, f, st_cone ) \mapsto \mathtt{WitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiomWithGivenObjects}(cone, f, st_cone)\).
‣ AddWitnessIsomorphismIntoStandardConeObjectByOctahedralAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation WitnessIsomorphismIntoStandardConeObjectByOctahedralAxiomWithGivenObjects. \(F: ( cone_g, f, g, h, st_cone ) \mapsto \mathtt{WitnessIsomorphismIntoStandardConeObjectByOctahedralAxiomWithGivenObjects}(cone_g, f, g, h, st_cone)\).
‣ AddWitnessIsomorphismIntoStandardConeObjectByRotationAxiomWithGivenObjects( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category \(C\) and a function \(F\). This operation adds the given function \(F\) to the category for the basic operation WitnessIsomorphismIntoStandardConeObjectByRotationAxiomWithGivenObjects. \(F: ( cone, f, st_cone ) \mapsto \mathtt{WitnessIsomorphismIntoStandardConeObjectByRotationAxiomWithGivenObjects}(cone, f, st_cone)\).
generated by GAPDoc2HTML