Contents
Index
data-category-0.5.1.0: 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
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