proarrow-0: Category theory with a central role for profunctors
User Comments
Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
%
&
*
+
.
/
<
=
?
\
^
|
~
All
Index - L
L
1 (Type/Class)
Proarrow.Category.Instance.List
2 (Data Constructor)
Proarrow.Category.Instance.Coproduct
3 (Type/Class)
Proarrow.Category.Instance.Linear
L2R
Proarrow.Promonad.Collage
Lan
1 (Data Constructor)
Proarrow.Category.Bicategory.Kan
2 (Type/Class)
Proarrow.Category.Bicategory.Kan
lan
Proarrow.Category.Bicategory.Kan
lanUniv
Proarrow.Category.Bicategory.Kan
LCat
Proarrow.Category.Monoidal.Optic
left
Proarrow.Object.BinaryCoproduct
leftAction
Proarrow.Category.Bicategory
leftAdjunct
Proarrow.Adjunction
, Proarrow
LeftKanExtension
Proarrow.Category.Bicategory.Kan
LeftKanLift
Proarrow.Category.Bicategory.Kan
leftUnitor
1 (Function)
Proarrow.Category.Monoidal
2 (Function)
Proarrow.Category.Bicategory
leftUnitorInv
1 (Function)
Proarrow.Category.Monoidal
2 (Function)
Proarrow.Category.Bicategory
leftUnitorProd
Proarrow.Object.BinaryProduct
leftUnitorProdInv
Proarrow.Object.BinaryProduct
Lens
Proarrow.Category.Monoidal.Optic
lft
Proarrow.Object.BinaryCoproduct
lft'
Proarrow.Object.BinaryCoproduct
Lift
Proarrow.Category.Bicategory.Kan
lift
Proarrow.Category.Bicategory.Kan
lift0
Proarrow.Category.Monoidal
lift2
Proarrow.Category.Monoidal
liftA2
Proarrow.Category.Monoidal.Applicative
liftUniv
Proarrow.Category.Bicategory.Kan
Limit
Proarrow.Category.Limit
limit
Proarrow.Category.Limit
limitInv
Proarrow.Category.Limit
LINEAR
Proarrow.Category.Instance.Linear
Linear
1 (Type/Class)
Proarrow.Category.Instance.Linear
2 (Data Constructor)
Proarrow.Category.Instance.Linear
LIST
Proarrow.Category.Instance.List
List
1 (Type/Class)
Proarrow.Category.Instance.List
2 (Type/Class)
Proarrow.Profunctor.Forget
3 (Data Constructor)
Proarrow.Profunctor.Forget
ListF
Proarrow.Profunctor.Fix
listId
Proarrow.Category.Instance.List
lmap
Proarrow.Core
,
Proarrow.Profunctor
, Proarrow