| C | |
| 1 (Data Constructor) | UsualCategories.V |
| 2 (Data Constructor) | UsualCategories.Three |
| 3 (Data Constructor) | UsualCategories.Square |
| 4 (Data Constructor) | UsualCategories.Hat |
| card | Set.FinSet |
| cartesianPower | Utils.CartesianProduct |
| cartesianProduct | Utils.CartesianProduct |
| categoryToGraph | ExportGraphViz.ExportGraphViz |
| catToDot | ExportGraphViz.ExportGraphViz |
| catToPdf | ExportGraphViz.ExportGraphViz |
| CGMorphism | |
| 1 (Type/Class) | CompositionGraph.CompositionGraph |
| 2 (Data Constructor) | CompositionGraph.CompositionGraph |
| checkFiniteCategoryProperties | FiniteCategory.FiniteCategory |
| checkFunctoriality | Diagram.Diagram |
| checkGeneratedFiniteCategoryProperties | FiniteCategory.FiniteCategory |
| Cocone | ConeCategory.ConeCategory |
| CoconeCategory | ConeCategory.ConeCategory |
| CoconeMorphism | ConeCategory.ConeCategory |
| coconesOfNadir | ConeCategory.ConeCategory |
| coconeToNaturalTransformation | ConeCategory.ConeCategory |
| codomain | |
| 1 (Function) | Set.FinOrdSet |
| 2 (Function) | Set.FinSet |
| codomainArrows | Cat.PartialFinCat |
| codomainObjects | Cat.PartialFinCat |
| colimitFunctor | Limit.Limit |
| colimits | ConeCategory.ConeCategory |
| Collection | Set.FinSet |
| CommaCategory | |
| 1 (Type/Class) | CommaCategory.CommaCategory |
| 2 (Data Constructor) | CommaCategory.CommaCategory |
| CommaMorphism | |
| 1 (Type/Class) | CommaCategory.CommaCategory |
| 2 (Data Constructor) | CommaCategory.CommaCategory |
| CommaObject | |
| 1 (Type/Class) | CommaCategory.CommaCategory |
| 2 (Data Constructor) | CommaCategory.CommaCategory |
| comp | FiniteCategory.FiniteCategory |
| completeMmap | Diagram.Diagram |
| component | FunctorCategory.FunctorCategory |
| compose | FiniteCategory.FiniteCategory |
| composeDiag | Diagram.Diagram |
| composite | CompositionGraph.CompositionGraph |
| CompositionGraph | |
| 1 (Type/Class) | CompositionGraph.CompositionGraph |
| 2 (Data Constructor) | CompositionGraph.CompositionGraph |
| CompositionGraphError | CompositionGraph.CompositionGraph |
| CompositionLaw | CompositionGraph.CompositionGraph |
| compositionLaw | CompositionGraph.CompositionGraph |
| compositionLawS | CompositionGraph.SafeCompositionGraph |
| CompositionNotAssociative | FiniteCategory.FiniteCategory |
| Cone | ConeCategory.ConeCategory |
| ConeCategory | |
| 1 (Type/Class) | ConeCategory.LeftCone |
| 2 (Data Constructor) | ConeCategory.LeftCone |
| 3 (Type/Class) | ConeCategory.ConeCategory |
| ConeMorphism | ConeCategory.ConeCategory |
| conesOfApex | ConeCategory.ConeCategory |
| coneToDot | ExportGraphViz.ExportGraphViz |
| coneToNaturalTransformation | ConeCategory.ConeCategory |
| coneToPdf | ExportGraphViz.ExportGraphViz |
| constructLimit | Set.FinSet |
| createAndWriteFile | IO.CreateAndWriteFile |
| curryDiagram | Currying.Currying |