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 - O
O
Proarrow.Category.Bicategory
o
1 (Function)
Proarrow.Category.Bicategory
2 (Function)
Proarrow.Profunctor.Composition
OB
Proarrow.Core
Ob
Proarrow.Core
,
Proarrow.Category
, Proarrow, Proarrow
Ob'
Proarrow.Object
, Proarrow
Ob0
Proarrow.Category.Bicategory
Obj
Proarrow.Core
,
Proarrow.Object
, Proarrow
obj
Proarrow.Core
,
Proarrow.Object
, Proarrow
obj1
Proarrow.Category.Bicategory
object
Proarrow.Category.Double
OP
1 (Data Constructor)
Proarrow.Category.Bicategory.Op
2 (Data Constructor)
Proarrow.Category.Opposite
Op
1 (Type/Class)
Proarrow.Category.Bicategory.Op
2 (Data Constructor)
Proarrow.Category.Bicategory.Op
3 (Type/Class)
Proarrow.Category.Opposite
4 (Data Constructor)
Proarrow.Category.Opposite
OPK
Proarrow.Category.Bicategory.Op
OPPOSITE
Proarrow.Category.Opposite
OPT
Proarrow.Category.Monoidal.Optic
OPTIC
Proarrow.Category.Monoidal.Optic
Optic
1 (Type/Class)
Proarrow.Category.Monoidal.Optic
2 (Data Constructor)
Proarrow.Category.Monoidal.Optic
opticAsDayAct
Proarrow.Category.Monoidal.Optic
OpticCat
1 (Type/Class)
Proarrow.Category.Monoidal.Optic
2 (Data Constructor)
Proarrow.Category.Monoidal.Optic
out
Proarrow.Profunctor.Fix