‣ IsBicartesianCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being bicartesian.
‣ IsFiniteCompleteCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being finite complete.
‣ IsFiniteCocompleteCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being finite cocomplete.
‣ IsFiniteBicompleteCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being finite bicomplete.
‣ IsCartesianCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being cartesian.
‣ IsStrictCartesianCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being strict cartesian.
‣ IsCartesianClosedCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being cartesian closed.
‣ IsBicartesianClosedCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being bicartesian closed.
‣ IsCocartesianCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being cocartesian.
‣ IsStrictCocartesianCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being strict cocartesian.
‣ IsCocartesianCoclosedCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being cocartesian coclosed.
‣ IsBicartesianCoclosedCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being bicartesian coclosed.
‣ IsCodistributiveCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being codistributive.
‣ IsDistributiveCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being distributive.
‣ IsInitialCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being initial.
generated by GAPDoc2HTML