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 - R
Ran
Data.Category.KanExtension
ran
Data.Category.KanExtension
ranAdj
Data.Category.KanExtension
ranF
Data.Category.KanExtension
ranF'
Data.Category.KanExtension
ranFactorizer
Data.Category.KanExtension
RanFam
Data.Category.KanExtension
RanFunctor
1 (Type/Class)
Data.Category.KanExtension
2 (Data Constructor)
Data.Category.KanExtension
RanHask
1 (Type/Class)
Data.Category.KanExtension
2 (Data Constructor)
Data.Category.KanExtension
RanHaskF
1 (Type/Class)
Data.Category.KanExtension
2 (Data Constructor)
Data.Category.KanExtension
Replicate
1 (Type/Class)
Data.Category.Simplex
2 (Data Constructor)
Data.Category.Simplex
represent
Data.Category.RepresentableFunctor
Representable
1 (Type/Class)
Data.Category.RepresentableFunctor
2 (Data Constructor)
Data.Category.RepresentableFunctor
representedFunctor
Data.Category.RepresentableFunctor
representingObject
Data.Category.RepresentableFunctor
rightAdjoint
Data.Category.Adjunction
rightAdjointPreservesLimits
Data.Category.Limit
rightAdjointPreservesLimitsInv
Data.Category.Limit
rightAdjunct
Data.Category.Adjunction
rightAdjunctN
Data.Category.Adjunction
rightUnitor
Data.Category.Monoidal
rightUnitorInv
Data.Category.Monoidal