Index - C
| Cartesian | Algebra.Category |
| cartesianAssoc | Algebra.Category |
| cartesianAssoc_ | Algebra.Category |
| cartesianCross | Algebra.Category |
| CartesianRec | |
| 1 (Type/Class) | Algebra.CategoryRecords |
| 2 (Data Constructor) | Algebra.CategoryRecords |
| cartesianRec | Algebra.Category |
| cartesianSwap | Algebra.Category |
| cartesianUnitor | Algebra.Category |
| cartesianUnitor_ | Algebra.Category |
| Category | Algebra.Category |
| CategoryRec | |
| 1 (Type/Class) | Algebra.CategoryRecords |
| 2 (Data Constructor) | Algebra.CategoryRecords |
| CoCartesian | Algebra.Category |
| coCartesianExl | Algebra.Category |
| coCartesianExr | Algebra.Category |
| Comp | Algebra.Types |
| Compact | Algebra.Category |
| CompClosed | |
| 1 (Type/Class) | Algebra.Types |
| 2 (Data Constructor) | Algebra.Types |
| Con' | Algebra.Category.Objects |
| constant | Algebra.Morphism.Affine |
| cos | Algebra.Classes |
| cosh | Algebra.Classes |
| CRepr | Algebra.Types |
| crossProductMatrix | Algebra.Linear |