Index - P
| Parallel | |
| 1 (Type/Class) | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| 2 (Data Constructor) | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| ParallelA | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| ParallelAr | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| ParallelB | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| parallelDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| ParallelF | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| ParallelG | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| ParallelIdA | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| ParallelIdB | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| ParallelOb | Math.FiniteCategories.Parallel, Math.FiniteCategories, Math.FiniteCategories.All | 
| Path | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| path | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| pathS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| pickRandomDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| piFunctor | Math.Functors.DataMigration, Math.Functors, Math.FiniteCategories.All | 
| postcomposeCoconeWithMorphism | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| postcomposeConeWithFunctor | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| PostcomposedFunctorCategory | |
| 1 (Type/Class) | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| 2 (Data Constructor) | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| powerObject | Math.CartesianClosedCategory, Math.FiniteCategories.All | 
| powerObjectLeg | Math.CartesianClosedCategory, Math.FiniteCategories.All | 
| pp | Math.IO.PrettyPrint, Math.FiniteCategories.All | 
| ppi | Math.IO.PrettyPrint, Math.FiniteCategories.All | 
| pprint | Math.IO.PrettyPrint, Math.FiniteCategories.All | 
| pprintFiniteCategory | Math.FiniteCategory, Math.FiniteCategories.All | 
| pprintFunction | Math.IO.PrettyPrint, Math.FiniteCategories.All | 
| pprintIndent | Math.IO.PrettyPrint, Math.FiniteCategories.All | 
| pprintWithIndentations | Math.IO.PrettyPrint, Math.FiniteCategories.All | 
| precomposeCoconeWithFunctor | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| precomposeConeWithMorphism | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| PrecomposedFunctorCategory | |
| 1 (Type/Class) | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| 2 (Data Constructor) | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| Presheaf | Math.Categories.PresheafCategory, Math.Categories, Math.FiniteCategories.All | 
| PresheafCategory | Math.Categories.PresheafCategory, Math.Categories, Math.FiniteCategories.All | 
| PresheafMorphism | Math.Categories.PresheafCategory, Math.Categories, Math.FiniteCategories.All | 
| PrettyPrint | Math.IO.PrettyPrint, Math.FiniteCategories.All | 
| product | Math.CompleteCategory, Math.FiniteCategories.All | 
| ProductElement | Math.CompleteCategory, Math.FiniteCategories.All | 
| projectBase | Math.CompleteCategory, Math.FiniteCategories.All | 
| ProjectedCategory | Math.FiniteCategories.LimitCategory, Math.FiniteCategories, Math.FiniteCategories.All | 
| Projection | Math.CompleteCategory, Math.FiniteCategories.All |