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 |
| 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 |
| 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 |
| 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 |