‣ QuiverOfCategoryOfQuivers | ( global variable ) |
The quiver generating the category of quivers.
‣ PairOfObjectsAndPairOfParallelMorphisms( quiver ) | ( attribute ) |
‣ DefiningPairOfMorphismBetweenParallelPairs( quiver_morphism ) | ( attribute ) |
‣ UnderlyingCategory( PPAC ) | ( attribute ) |
Return the category \(C\) underlying the category PPAC := PairOfParallelArrowsCategory( \(C\) ).
‣ PairOfParallelArrowsCategory( cat ) | ( attribute ) |
Return the finite coequalizer closure of the coartesian category cat.
‣ IsPairOfParallelArrowsCategory( arg ) | ( category ) |
Returns: true or false
The GAP category of pair of parallel arrows categories.
‣ IsCellInPairOfParallelArrowsCategory( arg ) | ( category ) |
Returns: true or false
The GAP category of cells in the pair of parallel arrows category of a category.
‣ IsObjectInPairOfParallelArrowsCategory( arg ) | ( category ) |
Returns: true or false
The GAP category of objects in the pair of parallel arrows category of a category.
‣ IsMorphismInPairOfParallelArrowsCategory( arg ) | ( category ) |
Returns: true or false
The GAP category of morphisms in the pair of parallel arrows category of a category.
generated by GAPDoc2HTML