Contents
Index
data-category-0.9: 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 - L
Lan
Data.Category.KanExtension
lan
Data.Category.KanExtension
lanAdj
Data.Category.KanExtension
lanF
Data.Category.KanExtension
lanF'
Data.Category.KanExtension
lanFactorizer
Data.Category.KanExtension
LanFam
Data.Category.KanExtension
LanFunctor
1 (Type/Class)
Data.Category.KanExtension
2 (Data Constructor)
Data.Category.KanExtension
LanHask
1 (Type/Class)
Data.Category.KanExtension
2 (Data Constructor)
Data.Category.KanExtension
LanHaskF
1 (Type/Class)
Data.Category.KanExtension
2 (Data Constructor)
Data.Category.KanExtension
leftAdjoint
Data.Category.Adjunction
leftAdjointPreservesColimits
Data.Category.Limit
leftAdjointPreservesColimitsInv
Data.Category.Limit
leftAdjunct
Data.Category.Adjunction
leftAdjunctN
Data.Category.Adjunction
leftUnitor
Data.Category.Monoidal
leftUnitorInv
Data.Category.Monoidal
Lim
Data.Category.Enriched
Limit
Data.Category.Limit
limit
1 (Function)
Data.Category.Limit
2 (Function)
Data.Category.Enriched
limitAdj
Data.Category.Limit
limitFactorizer
Data.Category.Limit
LimitFam
Data.Category.Limit
LimitFunctor
1 (Type/Class)
Data.Category.Limit
2 (Data Constructor)
Data.Category.Limit
limitInv
Data.Category.Enriched
limitObj
Data.Category.Enriched