‣ 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