Contents
Index
data-category-0.7: Category theory
A
B
C
D
E
F
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
Z
:
!
%
&
*
+
.
^
|
All
Index - I
I1
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
I12
Data.Category.Coproduct
I1A
Data.Category.Coproduct
I2
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
I2A
Data.Category.Coproduct
Id
1 (Type/Class)
Data.Category.Functor
2 (Data Constructor)
Data.Category.Functor
idAdj
Data.Category.Adjunction
idComonad
Data.Category.Monoidal
idMonad
Data.Category.Monoidal
idPostcomp
Data.Category.NaturalTransformation
idPostcompInv
Data.Category.NaturalTransformation
idPrecomp
Data.Category.NaturalTransformation
idPrecompInv
Data.Category.NaturalTransformation
InitialFAlgebra
Data.Category.Dialg
initialize
Data.Category.Limit
InitialObject
Data.Category.Limit
initialObject
Data.Category.Limit
initialPropAdjunction
Data.Category.Adjunction
InitialUniversal
Data.Category.RepresentableFunctor
initialUniversal
Data.Category.RepresentableFunctor
initialUniversalComma
Data.Category.Comma
Inj1
1 (Type/Class)
Data.Category.Coproduct
2 (Data Constructor)
Data.Category.Coproduct
inj1
Data.Category.Limit
Inj2
1 (Type/Class)
Data.Category.Coproduct
2 (Data Constructor)
Data.Category.Coproduct
inj2
Data.Category.Limit