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 - A
ACube
Data.Category.Cube
Add
1 (Type/Class)
Data.Category.Simplex
2 (Data Constructor)
Data.Category.Simplex
3 (Type/Class)
Data.Category.Cube
4 (Data Constructor)
Data.Category.Cube
AddConj
Data.Category.Limit
AdjArrow
1 (Type/Class)
Data.Category.Adjunction
2 (Data Constructor)
Data.Category.Adjunction
adjColimit
Data.Category.Limit
adjColimitFactorizer
Data.Category.Limit
adjLimit
Data.Category.Limit
adjLimitFactorizer
Data.Category.Limit
Adjunction
1 (Type/Class)
Data.Category.Adjunction
2 (Data Constructor)
Data.Category.Adjunction
adjunctionComonad
Data.Category.Monoidal
adjunctionComonadT
Data.Category.Monoidal
adjunctionCounit
Data.Category.Adjunction
adjunctionInitialProp
Data.Category.RepresentableFunctor
adjunctionMonad
Data.Category.Monoidal
adjunctionMonadT
Data.Category.Monoidal
adjunctionTerminalProp
Data.Category.RepresentableFunctor
adjunctionUnit
Data.Category.Adjunction
Alg
Data.Category.Dialg
Algebra
Data.Category.Dialg
Ana
Data.Category.Dialg
Any
1 (Type/Class)
Data.Category.Functor
2 (Data Constructor)
Data.Category.Functor
Apply
1 (Type/Class)
Data.Category.NaturalTransformation
2 (Data Constructor)
Data.Category.NaturalTransformation
apply
Data.Category.CartesianClosed
Arr
Data.Category.Enriched
Arrow
1 (Type/Class)
Data.Category.Boolean
2 (Data Constructor)
Data.Category.Boolean
Arrows
Data.Category.Comma
associator
Data.Category.Monoidal
associatorInv
Data.Category.Monoidal