data-category-0.5.1: Category theory

Index - P

Postcompose 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
Precompose 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
PresheavesData.Category.Presheaf
PrimRec 
1 (Type/Class)Data.Category.NNO
2 (Data Constructor)Data.Category.NNO
primRec 
1 (Function)Data.Category.Dialg
2 (Function)Data.Category.NNO
ProductFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
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.Presheaf
pshExponentialData.Category.Presheaf