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 - S
S
Proarrow.Category.Instance.Simplex
SCons
Proarrow.Category.Bicategory
second
1 (Function)
Proarrow.Category.Monoidal
2 (Function)
Proarrow.Object.BinaryProduct
Setting
1 (Type/Class)
Proarrow.Category.Monoidal.Optic
2 (Data Constructor)
Proarrow.Category.Monoidal.Optic
Simplex
Proarrow.Category.Instance.Simplex
singleton
1 (Function)
Proarrow.Category.Monoidal
2 (Function)
Proarrow.Category.Double
singNat
Proarrow.Category.Instance.Simplex
singNat'
Proarrow.Category.Instance.Simplex
singObj
Proarrow.Category.Instance.Simplex
singPath
Proarrow.Category.Bicategory
SList
Proarrow.Category.Monoidal
sList
Proarrow.Category.Monoidal
SNat
Proarrow.Category.Instance.Simplex
Snd
1 (Type/Class)
Proarrow.Category.Bicategory.Product
2 (Type/Class)
Proarrow.Category.Instance.Product
snd
Proarrow.Object.BinaryProduct
snd'
Proarrow.Object.BinaryProduct
SndCat
1 (Type/Class)
Proarrow.Category.Instance.Cat
2 (Data Constructor)
Proarrow.Category.Instance.Cat
sndP
Proarrow.Profunctor.Product
SNil
Proarrow.Category.Bicategory
SPath
Proarrow.Category.Bicategory
splitFold
1 (Function)
Proarrow.Category.Monoidal
2 (Function)
Proarrow.Category.Bicategory
splitFoldCo
Proarrow.Category.Bicategory.Co
splitFoldQ
Proarrow.Category.Double.Quintet
SQ
Proarrow.Category.Double
Sq
Proarrow.Category.Double
,
Proarrow.Category.Double
, Proarrow.Category.Double.Quintet
SQ1
Proarrow.Category.Double
Sq1
Proarrow.Category.Double
,
Proarrow.Category.Double
, Proarrow.Category.Double.Quintet
src
Proarrow.Core
,
Proarrow.Object
, Proarrow
SS
Proarrow.Category.Instance.Simplex
Star
1 (Type/Class)
Proarrow.Profunctor.Star
2 (Data Constructor)
Proarrow.Profunctor.Star
State
1 (Type/Class)
Proarrow.Promonad.State
2 (Data Constructor)
Proarrow.Promonad.State
Str
1 (Data Constructor)
Proarrow.Category.Monoidal
2 (Data Constructor)
Proarrow.Category.Bicategory
Strictified
1 (Type/Class)
Proarrow.Category.Monoidal
2 (Type/Class)
Proarrow.Category.Bicategory
SUB
1 (Type/Class)
Proarrow.Category.Instance.Sub
2 (Type/Class)
Proarrow.Category.Bicategory.Sub
Sub
1 (Type/Class)
Proarrow.Category.Instance.Sub
2 (Data Constructor)
Proarrow.Category.Instance.Sub
3 (Type/Class)
Proarrow.Category.Bicategory.Sub
4 (Data Constructor)
Proarrow.Category.Bicategory.Sub
SUBCAT
1 (Type/Class)
Proarrow.Category.Instance.Sub
2 (Type/Class)
Proarrow.Category.Bicategory.Sub
suc
Proarrow.Category.Instance.Simplex
swap
Proarrow.Category.Monoidal
swap'
Proarrow.Category.Monoidal
swapProd
Proarrow.Object.BinaryProduct
SymMonoidal
Proarrow.Category.Monoidal
SZ
Proarrow.Category.Instance.Simplex