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 - U
UN
Proarrow.Core
unClassify
Proarrow.Category.Monoidal.Optic
unCo
Proarrow.Profunctor.Star
unConcatMap
Proarrow.Category.Instance.Mat
unCopower
Proarrow.Category.Instance.Nat
uncopower
Proarrow.Object.Copower
unCoprod
Proarrow.Object.BinaryCoproduct
unCorepStar
Proarrow.Profunctor.Representable
unCostar
Proarrow.Profunctor.Costar
unCoyoneda
Proarrow.Profunctor.Coyoneda
Uncurry
1 (Type/Class)
Proarrow.Category.Instance.Cat
2 (Data Constructor)
Proarrow.Category.Instance.Cat
uncurry
Proarrow.Object.Exponential
uncurry'
Proarrow.Object.Exponential
uncurrySA
Proarrow.Object.Dual
unEnd
Proarrow.Category.Limit
unEntails
Proarrow.Category.Instance.Constraint
unForget
Proarrow.Category.Instance.Simplex
unFromProfunctor
Proarrow.Functor
, Proarrow
UNFUN
Proarrow.Category.Bicategory.Prof
unHomK
Proarrow.Category.Bicategory.Hom
unId
Proarrow.Profunctor.Identity
unInjR
Proarrow.Category.Instance.Collage
unInL
Proarrow.Category.Instance.Collage
Unit
1 (Type/Class)
Proarrow.Category.Monoidal
2 (Type/Class)
Proarrow.Category.Instance.Unit
3 (Data Constructor)
Proarrow.Category.Instance.Unit
4 (Data Constructor)
Proarrow.Profunctor.Free
unit
1 (Function)
Proarrow.Category.Bicategory
2 (Function)
Proarrow.Category.Bicategory.Relative
3 (Function)
Proarrow.Adjunction
, Proarrow
4 (Function)
Proarrow.Category.Instance.Linear
5 (Function)
Proarrow.Squares.Limit
6 (Function)
Proarrow.Squares.Relative
unit'
Proarrow.Adjunction
, Proarrow
unitFromRepUnit
Proarrow.Adjunction
, Proarrow
unitObj
Proarrow.Category.Monoidal
unitor
Proarrow.Category.Monoidal.Action
unitorInv
Proarrow.Category.Monoidal.Action
unitQuest
Proarrow.Category.Instance.Linear
unLinear
Proarrow.Category.Instance.Linear
unNat
Proarrow.Category.Instance.Nat
unNat'
Proarrow.Category.Instance.Nat
UnOp
1 (Type/Class)
Proarrow.Category.Opposite
2 (Data Constructor)
Proarrow.Category.Opposite
unOp
Proarrow.Category.Opposite
unPower
1 (Function)
Proarrow.Object.Power
2 (Function)
Proarrow.Category.Instance.Nat
unpower
Proarrow.Object.Power
unPrecompose
Proarrow.Profunctor.Ran
unPrelude
Proarrow.Functor
, Proarrow
unPreview
Proarrow.Category.Monoidal.Optic
unProd
Proarrow.Object.BinaryProduct
unProf
Proarrow.Category.Instance.Prof
unPt
Proarrow.Category.Instance.PointedHask
unRan
Proarrow.Profunctor.Ran
unRepCostar
Proarrow.Profunctor.Representable
unReplace
Proarrow.Category.Monoidal.Optic
unRift
Proarrow.Profunctor.Rift
unsafeLinear
Proarrow.Category.Instance.Linear
unSet
Proarrow.Category.Monoidal.Optic
unStar
Proarrow.Profunctor.Star
unStr
1 (Function)
Proarrow.Category.Monoidal.Strictified
2 (Function)
Proarrow.Category.Bicategory.Strictified
unSub
Proarrow.Category.Instance.Sub
unUnOp
Proarrow.Category.Opposite
unUpdate
Proarrow.Category.Monoidal.Optic
unView
Proarrow.Category.Monoidal.Optic
Unweighted
1 (Type/Class)
Proarrow.Category.Limit
2 (Type/Class)
Proarrow.Category.Colimit
unWrapped
Proarrow.Profunctor.Wrapped
unYoneda
Proarrow.Profunctor.Yoneda
Update
Proarrow.Category.Monoidal.Optic
Updating
Proarrow.Category.Monoidal.Optic
Ur
1 (Type/Class)
Proarrow.Category.Instance.Linear
2 (Data Constructor)
Proarrow.Category.Instance.Linear
urWith
Proarrow.Category.Instance.Linear