Contents
Index
data-category-0.4.1: Category theory
A
B
C
D
E
F
H
I
K
L
M
N
O
P
R
S
T
U
V
W
Y
Z
:
!
%
&
*
+
.
^
|
All
Index - C
CartesianClosed
Data.Category.CartesianClosed
Cat
Data.Category.Functor
CatA
Data.Category.Functor
Cata
Data.Category.Dialg
cataHask
Data.Category.Dialg
Category
Data.Category
CatW
Data.Category.Functor
Coalg
Data.Category.Dialg
Coalgebra
Data.Category.Dialg
Cocone
Data.Category.Limit
coconeVertex
Data.Category.Limit
Cod
Data.Category.Functor
CodiagCoprod
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
Colimit
Data.Category.Limit
colimit
Data.Category.Limit
colimitAdj
Data.Category.Limit
colimitFactorizer
Data.Category.Limit
ColimitFam
Data.Category.Limit
ColimitFunctor
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
Com
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
CommaA
Data.Category.Comma
CommaO
1 (Type/Class)
Data.Category.Comma
2 (Data Constructor)
Data.Category.Comma
Comonad
Data.Category.Monoidal
ComonoidObject
1 (Data Constructor)
Data.Category.Monoidal
2 (Type/Class)
Data.Category.Monoidal
compAssoc
Data.Category.NaturalTransformation
compAssocInv
Data.Category.NaturalTransformation
Component
Data.Category.NaturalTransformation
comultiply
Data.Category.Monoidal
Cone
Data.Category.Limit
coneVertex
Data.Category.Limit
Const
1 (Data Constructor)
Data.Category.Functor
2 (Type/Class)
Data.Category.Functor
ConstF
Data.Category.Functor
constPostcomp
Data.Category.NaturalTransformation
constPostcompInv
Data.Category.NaturalTransformation
constPrecomp
Data.Category.NaturalTransformation
constPrecompInv
Data.Category.NaturalTransformation
contAdj
Data.Category.Adjunction
Context
Data.Category.CartesianClosed
contextComonadDuplicate
Data.Category.CartesianClosed
contextComonadExtract
Data.Category.CartesianClosed
contravariantHomRepr
Data.Category.RepresentableFunctor
CoproductFunctor
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
Cotuple1
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
Cotuple2
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
counit
1 (Function)
Data.Category.Adjunction
2 (Function)
Data.Category.Monoidal
covariantHomRepr
Data.Category.RepresentableFunctor
curry
Data.Category.CartesianClosed
curryAdj
Data.Category.CartesianClosed