Contents
Index
data-category-0.7.1: Category theory
A
B
C
D
E
F
G
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
3 (Type/Class)
Data.Category.Enriched
4 (Data Constructor)
Data.Category.Enriched
id
Data.Category.Enriched
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
InHask
1 (Type/Class)
Data.Category.Enriched
2 (Data Constructor)
Data.Category.Enriched
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