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 - N
NAT
Proarrow.Category.Instance.Fin
Nat
1 (Type/Class)
Proarrow.Category.Instance.Simplex
2 (Type/Class)
Proarrow.Category.Instance.Nat
3 (Data Constructor)
Proarrow.Category.Instance.Nat
4 (Type/Class)
Proarrow.Category.Instance.Mat
Nat'
1 (Type/Class)
Proarrow.Category.Instance.Nat
2 (Data Constructor)
Proarrow.Category.Instance.Nat
NatK
Proarrow.Category.Instance.Nat
Neg
1 (Type/Class)
Proarrow.Category.Instance.Linear
2 (Data Constructor)
Proarrow.Category.Instance.Linear
NegComp
1 (Type/Class)
Proarrow.Category.Instance.Linear
2 (Data Constructor)
Proarrow.Category.Instance.Linear
Nil
1 (Data Constructor)
Proarrow.Category.Monoidal.Strictified
2 (Data Constructor)
Proarrow.Category.Instance.List
3 (Type/Class)
Proarrow.Category.Bicategory.Strictified
4 (Data Constructor)
Proarrow.Profunctor.Fix
5 (Data Constructor)
Proarrow.Category.Instance.Mat
6 (Data Constructor)
Proarrow.Profunctor.Free
no
Proarrow.Category.Instance.Zero
Not
Proarrow.Category.Instance.Linear
not
Proarrow.Category.Instance.Linear
not'
Proarrow.Category.Instance.Linear
notQuest
Proarrow.Category.Instance.Linear
NT
Proarrow.Category.Instance.Nat