| Cartesian | Control.Category.Cartesian |
| cascade | Control.Morphism.Prepro |
| cast | Control.Category.Discrete |
| cata | Control.Morphism.Cata |
| cataFree | Control.Monad.Free |
| CBind | Control.Functor.Categorical, Control.Monad.Categorical |
| cbind | Control.Functor.Categorical, Control.Monad.Categorical |
| CCC | Control.Category.Cartesian.Closed |
| CComonad | Control.Functor.Categorical |
| CCopointed | Control.Functor.Categorical |
| cdist | Control.Functor.Categorical |
| CDistributes | Control.Functor.Categorical |
| cduplicate | Control.Functor.Categorical |
| CDyad | Control.Dyad |
| cdyid | Control.Dyad |
| CExtend | Control.Functor.Categorical |
| cextend | Control.Functor.Categorical |
| cextract | Control.Functor.Categorical |
| CFunctor | Control.Functor.Categorical |
| chrono | Control.Morphism.Chrono |
| cjoin | Control.Functor.Categorical, Control.Monad.Categorical |
| cmap | Control.Functor.Categorical |
| CMonad | Control.Functor.Categorical, Control.Monad.Categorical |
| Coalgebra | Control.Functor.Algebra |
| coalgebraCointerpreter | Control.Functor.KanExtension.Interpreter |
| coapply | Control.Category.Cartesian.Closed |
| coassociate | Control.Category.Associative, Control.Category.Cartesian |
| coassociateComposition | Control.Functor.Composition |
| coassociatePreCartesian | Control.Category.Cartesian |
| coassociatePreCoCartesian | Control.Category.Cartesian |
| Coassociative | Control.Category.Associative, Control.Category.Cartesian |
| CoCartesian | Control.Category.Cartesian |
| CoCCC | Control.Category.Cartesian.Closed |
| Cocone | |
| 1 (Type/Class) | Control.Functor.Cone |
| 2 (Data Constructor) | Control.Functor.Cone |
| cocurry | Control.Category.Cartesian.Closed |
| Codensity | Control.Monad.Codensity |
| codensityToAdjunction | Control.Monad.Codensity |
| codensityToRan | Control.Monad.Codensity |
| codiag | Control.Category.Cartesian |
| coelgot | Control.Functor.Algebra.Elgot |
| cofix | Control.Comonad.Fix |
| Cofree | Control.Comonad.Cofree |
| cofree | Control.Comonad.Cofree |
| Coideal | Control.Comonad.Coideal |
| coideal | Control.Comonad.Coideal |
| coidealize | Control.Comonad.Coideal |
| coidl | Control.Category.Monoidal, Control.Category.Cartesian |
| coidr | Control.Category.Monoidal, Control.Category.Cartesian |
| Cointerpreter | Control.Functor.KanExtension.Interpreter |
| cointerpreterCoalgebra | Control.Functor.KanExtension.Interpreter |
| CointerpreterT | Control.Functor.KanExtension.Interpreter |
| CoKleisli | |
| 1 (Type/Class) | Control.Arrow.CoKleisli |
| 2 (Data Constructor) | Control.Arrow.CoKleisli |
| colambek | Control.Functor.Lambek |
| colift | Control.Comonad.Trans |
| Colimit | |
| 1 (Type/Class) | Control.Functor.Limit |
| 2 (Data Constructor) | Control.Functor.Limit |
| Comonad | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| ComonadCofree | Control.Comonad.Cofree |
| ComonadCoideal | Control.Comonad.Coideal |
| ComonadContext | Control.Comonad.Context |
| ComonadReader | Control.Comonad.Reader |
| ComonadTrans | Control.Comonad.Trans |
| Comonoidal | Control.Category.Monoidal, Control.Category.Cartesian |
| Comp | Control.Functor.Composition |
| CompF | |
| 1 (Type/Class) | Control.Functor.Composition |
| 2 (Data Constructor) | Control.Functor.Composition |
| CompH | |
| 1 (Type/Class) | Control.Functor.HigherOrder.Composition |
| 2 (Data Constructor) | Control.Functor.HigherOrder.Composition |
| compose | Control.Functor.Composition |
| composedAdjointToLan | Control.Functor.KanExtension |
| composedAdjointToRan | Control.Functor.KanExtension |
| composedAdjunctionToDensity | Control.Comonad.Density |
| composeLan | Control.Functor.KanExtension |
| composeRan | Control.Functor.KanExtension |
| Composition | Control.Functor.Composition |
| Cone | Control.Functor.Cone |
| Const2 | |
| 1 (Type/Class) | Control.Functor.Combinators.Const |
| 2 (Data Constructor) | Control.Functor.Combinators.Const |
| Context | |
| 1 (Type/Class) | Control.Comonad.Context |
| 2 (Data Constructor) | Control.Comonad.Context |
| ContextT | |
| 1 (Type/Class) | Control.Comonad.Context |
| 2 (Data Constructor) | Control.Comonad.Context |
| ContraF | |
| 1 (Type/Class) | Control.Functor.Contra |
| 2 (Data Constructor) | Control.Functor.Contra |
| ContraFunctor | Control.Functor.Contra, Control.Monad.Hyper |
| contramap | Control.Functor.Contra, Control.Monad.Hyper |
| converse | Control.Allegory |
| Copointed | Control.Functor.Pointed, Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| Coreader | |
| 1 (Type/Class) | Control.Comonad.Reader |
| 2 (Data Constructor) | Control.Comonad.Reader |
| CoreaderT | |
| 1 (Type/Class) | Control.Comonad.Reader |
| 2 (Data Constructor) | Control.Comonad.Reader |
| corep | Control.Functor.Representable |
| Corepresentable | Control.Functor.Representable |
| Cospan | |
| 1 (Type/Class) | Control.Morphism.Span |
| 2 (Data Constructor) | Control.Morphism.Span |
| costrength | Control.Functor.Strong |
| counbizip | Control.Functor.Zip |
| counit | Control.Functor.Adjunction |
| counitCCC | Control.Category.Cartesian.Closed |
| counitCoCCC | Control.Category.Cartesian.Closed |
| Couniversal | |
| 1 (Type/Class) | Control.Morphism.Universal |
| 2 (Data Constructor) | Control.Morphism.Universal |
| couniversalIdentity | Control.Morphism.Universal |
| couniversalize | Control.Morphism.Universal |
| counzip | Control.Functor.Zip |
| CoYoneda | |
| 1 (Type/Class) | Control.Functor.Yoneda |
| 2 (Data Constructor) | Control.Functor.Yoneda |
| coYonedaToLan | Control.Functor.Yoneda |
| Cozip | Control.Functor.Zip |
| cozip | Control.Functor.Zip |
| CPointed | Control.Functor.Categorical, Control.Monad.Categorical |
| creturn | Control.Functor.Categorical, Control.Monad.Categorical |
| curry | Control.Category.Cartesian.Closed |