Index - P
| P1 | Data.Category.Pair |
| P2 | Data.Category.Pair |
| Pair | Data.Category.Pair |
| PairDiagram | |
| 1 (Type/Class) | Data.Category.Pair |
| 2 (Data Constructor) | Data.Category.Pair |
| pairNat | Data.Category.Pair |
| Peano | Data.Category.Peano |
| PeanoA | Data.Category.Peano |
| PeanoO | Data.Category.Peano |
| point | Data.Category.Kleisli |
| Pointed | Data.Category.Kleisli |
| 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 |
| primRec | |
| 1 (Function) | Data.Category.Dialg |
| 2 (Function) | Data.Category.Peano |
| ProdO | Data.Category.Product |
| product | Data.Category.Limit |
| proj | Data.Category.Limit |
| Proj1 | |
| 1 (Type/Class) | Data.Category.Product |
| 2 (Data Constructor) | Data.Category.Product |
| Proj2 | |
| 1 (Type/Class) | Data.Category.Product |
| 2 (Data Constructor) | Data.Category.Product |