proarrow-0: Category theory with a central role for profunctors (Index - C)

proarrow-0: Category theory with a central role for profunctors

Index - C

Cartesian	Proarrow.Object.BinaryProduct
CAT	Proarrow.Core, Proarrow.Category, Proarrow
Cat
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
cata	Proarrow.Profunctor.Fix
Category	Proarrow.Category.Bicategory.CategoryAsBi
CategoryOf	Proarrow.Core, Proarrow.Category, Proarrow
CATK	Proarrow.Category.Enriched
choose	Proarrow.Category.Limit
CK	Proarrow.Category.Enriched
Classifying
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Data Constructor)	Proarrow.Category.Monoidal.Optic
Closed	Proarrow.Object.Exponential
CNSTRNT	Proarrow.Category.Instance.Constraint
CO	Proarrow.Category.Bicategory.Co
Co
1 (Type/Class)	Proarrow.Category.Bicategory.Co
2 (Data Constructor)	Proarrow.Category.Bicategory.Co
cochoose	Proarrow.Category.Colimit
coindex	Proarrow.Profunctor.Corepresentable
COK	Proarrow.Category.Bicategory.Co
Colimit	Proarrow.Category.Colimit
colimit	Proarrow.Category.Colimit
colimitInv	Proarrow.Category.Colimit
Collage	Proarrow.Promonad.Collage
Comonad	Proarrow.Category.Bicategory
Comonoid	Proarrow.Monoid
comp	Proarrow.Object.Exponential
Companion	Proarrow.Category.Double
ComposeConstraint	Proarrow.Category.Bicategory.Prof
composeCostar	Proarrow.Profunctor.Costar
composeStar	Proarrow.Profunctor.Star
comult	Proarrow.Monoid
concatFold
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
concatFoldCo	Proarrow.Category.Bicategory.Co
concatFoldQ	Proarrow.Category.Double.Quintet
Conjoint	Proarrow.Category.Double
Cons
1 (Data Constructor)	Proarrow.Category.Monoidal
2 (Data Constructor)	Proarrow.Category.Instance.List
3 (Data Constructor)	Proarrow.Profunctor.Fix
CONSTRAINT	Proarrow.Category.Instance.Constraint
COPR	Proarrow.Object.BinaryCoproduct
COPROD	Proarrow.Object.BinaryCoproduct
Coprod
1 (Type/Class)	Proarrow.Object.BinaryCoproduct
2 (Data Constructor)	Proarrow.Object.BinaryCoproduct
COPRODUCT	Proarrow.Category.Instance.Coproduct
coproduct	Proarrow.Profunctor.Coproduct
CoproductColimit
1 (Type/Class)	Proarrow.Category.Colimit
2 (Data Constructor)	Proarrow.Category.Colimit
coproductId	Proarrow.Category.Instance.Coproduct
corepMap	Proarrow.Profunctor.Corepresentable
Corepresentable	Proarrow.Profunctor.Corepresentable
CoSq
1 (Type/Class)	Proarrow.Category.Double
2 (Data Constructor)	Proarrow.Category.Double
CoSq1	Proarrow.Category.Double
Costar
1 (Type/Class)	Proarrow.Profunctor.Costar
2 (Data Constructor)	Proarrow.Profunctor.Costar
cotabulate	Proarrow.Profunctor.Corepresentable
counit
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Adjunction, Proarrow
3 (Function)	Proarrow.Monoid
counitFromStarCounit	Proarrow.Adjunction, Proarrow
Coyoneda
1 (Type/Class)	Proarrow.Profunctor.Coyoneda
2 (Data Constructor)	Proarrow.Profunctor.Coyoneda
coyoneda	Proarrow.Profunctor.Coyoneda
curry	Proarrow.Object.Exponential
curry'	Proarrow.Object.Exponential