In
A pro-simplicial set is called "pro-finite" if each term of the inverse system of simplicial sets has finite
Pro-simplicial sets show up in shape theory, in the study of localization and completion in homotopy theory, and in the study of homotopy properties of schemes (e.g.
Wikimedia Foundation. 2010.
PRO (category theory) — In category theory, a PRO is a strict monoidal category whose objects are the natural integers and whose tensor product is given on objects by the addition on integers. By an integer n, we mean here the set {0,1,ldots,n 1}.Some examples of PROs:… … Wikipedia
Topos — For topoi in literary theory, see Literary topos. For topoi in rhetorical invention, see Inventio. In mathematics, a topos (plural topoi or toposes ) is a type of category that behaves like the category of sheaves of sets on a topological space.… … Wikipedia
List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… … Wikipedia
