| CartesianClosed | Data.Category.CartesianClosed |
| Cat | Data.Category.Functor |
| CatA | Data.Category.Functor |
| Cata | Data.Category.Dialg |
| Category | Data.Category |
| Coalg | Data.Category.Dialg |
| Coalgebra | Data.Category.Dialg |
| Cocone | Data.Category.Limit |
| coconeVertex | Data.Category.Limit |
| Cod | Data.Category.Functor |
| CodiagCoprod | |
| 1 (Type/Class) | Data.Category.Coproduct |
| 2 (Data Constructor) | Data.Category.Coproduct |
| Coend | Data.Category.WeightedLimit |
| coend | Data.Category.WeightedLimit |
| coendCounit | Data.Category.WeightedLimit |
| coendFactorizer | Data.Category.WeightedLimit |
| CoendFunctor | |
| 1 (Type/Class) | Data.Category.WeightedLimit |
| 2 (Data Constructor) | Data.Category.WeightedLimit |
| Cograph | Data.Category.Coproduct |
| Colim | Data.Category.Enriched.Limit |
| Colimit | Data.Category.Limit |
| colimit | |
| 1 (Function) | Data.Category.Limit |
| 2 (Function) | Data.Category.WeightedLimit |
| 3 (Function) | Data.Category.Enriched.Limit |
| colimitAdj | Data.Category.Limit |
| colimitFactorizer | |
| 1 (Function) | Data.Category.Limit |
| 2 (Function) | Data.Category.WeightedLimit |
| ColimitFam | Data.Category.Limit |
| ColimitFunctor | |
| 1 (Type/Class) | Data.Category.Limit |
| 2 (Data Constructor) | Data.Category.Limit |
| 3 (Type/Class) | Data.Category.WeightedLimit |
| 4 (Data Constructor) | Data.Category.WeightedLimit |
| colimitInv | Data.Category.Enriched.Limit |
| colimitObj | |
| 1 (Function) | Data.Category.WeightedLimit |
| 2 (Function) | Data.Category.Enriched.Limit |
| CommaA | Data.Category.Comma |
| commaId | Data.Category.Comma |
| CommaO | |
| 1 (Type/Class) | Data.Category.Comma |
| 2 (Data Constructor) | Data.Category.Comma |
| Comonad | Data.Category.Monoidal |
| ComonoidObject | |
| 1 (Type/Class) | Data.Category.Monoidal |
| 2 (Data Constructor) | Data.Category.Monoidal |
| comp | Data.Category.Enriched |
| compArr | Data.Category.Enriched |
| compAssoc | Data.Category.NaturalTransformation |
| compAssocInv | Data.Category.NaturalTransformation |
| Component | Data.Category.NaturalTransformation |
| composeAdj | Data.Category.Adjunction |
| comultiply | Data.Category.Monoidal |
| Cone | Data.Category.Limit |
| coneVertex | Data.Category.Limit |
| Cons | Data.Category.Cube |
| Const | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| 3 (Type/Class) | Data.Category.Enriched.Functor |
| 4 (Data Constructor) | Data.Category.Enriched.Functor |
| ConstF | Data.Category.Functor |
| constPostcompIn | Data.Category.NaturalTransformation |
| constPostcompOut | Data.Category.NaturalTransformation |
| constPrecompIn | Data.Category.NaturalTransformation |
| constPrecompOut | Data.Category.NaturalTransformation |
| contAdj | Data.Category.Adjunction |
| Context | Data.Category.CartesianClosed |
| contextComonadDuplicate | Data.Category.CartesianClosed |
| contextComonadExtract | Data.Category.CartesianClosed |
| contravariantHomRepr | Data.Category.RepresentableFunctor |
| coprodAdj | Data.Category.Limit |
| CoproductFunctor | |
| 1 (Type/Class) | Data.Category.Limit |
| 2 (Data Constructor) | Data.Category.Limit |
| coproductMonoid | Data.Category.Monoidal |
| Costar | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
| Cotuple1 | |
| 1 (Type/Class) | Data.Category.Coproduct |
| 2 (Data Constructor) | Data.Category.Coproduct |
| Cotuple2 | |
| 1 (Type/Class) | Data.Category.Coproduct |
| 2 (Data Constructor) | Data.Category.Coproduct |
| counit | Data.Category.Monoidal |
| covariantHomRepr | Data.Category.RepresentableFunctor |
| Cube | Data.Category.Cube |
| curry | Data.Category.CartesianClosed |
| Curry1 | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
| Curry2 | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
| curryAdj | Data.Category.CartesianClosed |