data-category-0.7.1: Category theory

Index - P

PData.Category.Cube
Poset3Data.Category.Enriched
PosetTestData.Category.Enriched
PostcomposeData.Category.NaturalTransformation
postcomposeData.Category.NaturalTransformation
postcomposeAdjData.Category.Adjunction
PrecomposeData.Category.NaturalTransformation
precomposeData.Category.NaturalTransformation
precomposeAdjData.Category.Adjunction
PresheavesData.Category.NaturalTransformation
PrimRec 
1 (Type/Class)Data.Category.NNO
2 (Data Constructor)Data.Category.NNO
primRec 
1 (Function)Data.Category.Dialg
2 (Function)Data.Category.NNO
prodAdjData.Category.Limit
productComonoidData.Category.Monoidal
ProductFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
ProfunctorsData.Category.NaturalTransformation
Proj1 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
proj1Data.Category.Limit
Proj2 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
proj2Data.Category.Limit
PShExponentialData.Category.CartesianClosed
pshExponentialData.Category.CartesianClosed