Let (see Segal's category) be the skeleton of the category of finite pointed sets. We write for the finite pointed set with non-basepoint elements. Then a -set is a functor .
The topos of -sets is the classifying topos for pointed objects (MO question). For more on this see also at classifying topos for the theory of objects.
Related Lab entries include Gamma-space, Segal's category.
Created on November 5, 2016 at 14:56:15. See the history of this page for a list of all contributions to it.