data-category-0.11: Category theory
Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
*
+
.
^
|
-
All
Index - P
P
Data.Category.Cube
Poset3
Data.Category.Enriched.Poset3
PosetTest
Data.Category.Enriched.Poset3
Postcompose
1 (Type/Class)
Data.Category.NaturalTransformation
2 (Data Constructor)
Data.Category.NaturalTransformation
postcomposeAdj
Data.Category.Adjunction
Precompose
1 (Type/Class)
Data.Category.NaturalTransformation
2 (Data Constructor)
Data.Category.NaturalTransformation
precomposeAdj
Data.Category.Adjunction
Preorder
Data.Category.Preorder
Presheaves
Data.Category.NaturalTransformation
primRec
1 (Function)
Data.Category.Dialg
2 (Function)
Data.Category.NNO
prodAdj
Data.Category.Limit
productComonoid
Data.Category.Monoidal
ProductFunctor
1 (Type/Class)
Data.Category.Limit
2 (Data Constructor)
Data.Category.Limit
ProfunctorOf
Data.Category.Functor
Profunctors
Data.Category.NaturalTransformation
Proj1
1 (Type/Class)
Data.Category.Functor
2 (Data Constructor)
Data.Category.Functor
proj1
Data.Category.Limit
Proj2
1 (Type/Class)
Data.Category.Functor
2 (Data Constructor)
Data.Category.Functor
proj2
Data.Category.Limit
Proof
1 (Type/Class)
Data.Category.Fin
2 (Data Constructor)
Data.Category.Fin
proof
Data.Category.Fin
PShExponential
Data.Category.CartesianClosed
PshExponential
Data.Category.CartesianClosed