Index - P
| Pair | Data.Category.Discrete |
| Peano | Data.Category.Peano |
| PeanoA | Data.Category.Peano |
| peanoId | Data.Category.Peano |
| PeanoO | |
| 1 (Data Constructor) | Data.Category.Peano |
| 2 (Type/Class) | Data.Category.Peano |
| peanoO | Data.Category.Peano |
| Postcompose | |
| 1 (Data Constructor) | Data.Category.NaturalTransformation |
| 2 (Type/Class) | Data.Category.NaturalTransformation |
| Precompose | |
| 1 (Data Constructor) | Data.Category.NaturalTransformation |
| 2 (Type/Class) | Data.Category.NaturalTransformation |
| preludeMonad | Data.Category.Monoidal |
| preludeMonoid | Data.Category.Monoidal |
| Presheaves | Data.Category.Presheaf |
| primRec | |
| 1 (Function) | Data.Category.Dialg |
| 2 (Function) | Data.Category.Peano |
| ProductFunctor | |
| 1 (Data Constructor) | Data.Category.Limit |
| 2 (Type/Class) | Data.Category.Limit |
| Proj1 | |
| 1 (Data Constructor) | Data.Category.Functor |
| 2 (Type/Class) | Data.Category.Functor |
| proj1 | Data.Category.Limit |
| Proj2 | |
| 1 (Data Constructor) | Data.Category.Functor |
| 2 (Type/Class) | Data.Category.Functor |
| proj2 | Data.Category.Limit |
| PShExponential | Data.Category.Presheaf |
| pshExponential | Data.Category.Presheaf |