data-category-0.11: Category theory
Contents
Index
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.Functor
4 (Data Constructor)
Data.Category.Enriched.Functor
id
Data.Category.Enriched
idAdj
Data.Category.Adjunction
IdArrow
1 (Type/Class)
Data.Category.Comma
2 (Data Constructor)
Data.Category.Comma
idComonad
Data.Category.Monoidal
idMonad
Data.Category.Monoidal
idPostcomp
Data.Category.NaturalTransformation
idPostcompInv
Data.Category.NaturalTransformation
idPrecomp
Data.Category.NaturalTransformation
idPrecompInv
Data.Category.NaturalTransformation
idSrcAdj
Data.Category.Comma
InHask
1 (Type/Class)
Data.Category.Enriched
2 (Data Constructor)
Data.Category.Enriched
InHaskF
1 (Type/Class)
Data.Category.Enriched.Functor
2 (Data Constructor)
Data.Category.Enriched.Functor
InHaskToHask
1 (Type/Class)
Data.Category.Enriched.Functor
2 (Data Constructor)
Data.Category.Enriched.Functor
InitialFAlgebra
Data.Category.Dialg
initialize
Data.Category.Limit
Initializer
1 (Type/Class)
Data.Category.Boolean
2 (Data Constructor)
Data.Category.Boolean
initializerColimitAdj
Data.Category.Boolean
InitialObject
Data.Category.Limit
initialObject
Data.Category.Limit
initialPropAdjunction
Data.Category.RepresentableFunctor
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