Pointed Set

In mathematics, a pointed set (also based set or rooted set) is an ordered pair $(X, x_0)$ where $X$ is a set and $x_0$ is an element of $X$ called the base point, also spelled basepoint.

Maps between pointed sets $(X, x_0)$ and $(Y, y_0)$ – called based maps, pointed maps, or point-preserving maps – are functions from $X$ to $Y$ that map one basepoint to another, i.e. a map $f \colon X \to Y$ such that $f(x_0) = y_0$. This is usually denoted
: $f \colon (X, x_0) \to (Y, y_0)$.

Pointed sets are very simple algebraic structures. In the sense of universal algebra, a pointed set is a set $X$ together with a single nullary operation $*: X^0 \to X,$ which picks out the basepoint. Pointed maps are the homomorphisms of these algebraic structures.

The class of all pointed sets together with the class of all based maps form a category. In this category the pointed singleton sets $(\, a)$ are initial objects and terminal objects,Mac Lane (1998) p.26 i.e. they are zero objects. There is a faithful functor from pointed sets to usual sets, but it is not full and these categories are not equivalent.J. Adamek, H. Herrlich, G. Stecker, (18 January 2005
Abstract and Concrete Categories-The Joy of Cats
/ref> In particular, the empty set is not a pointed set because it has no element that can be chosen as the basepoint.

The category of pointed sets and based maps is equivalent to the category of sets and partial functions. The base point serves as a "default value" for those arguments for which the partial function is not defined. One textbook notes that "This formal completion of sets and partial maps by adding 'improper', 'infinite' elements was reinvented many times, in particular, in topology (one-point compactification) and in theoretical computer science."

The category of pointed sets and pointed maps is isomorphic to the coslice category ($\mathbf \downarrow \mathbf$), where $\mathbf$ is (a functor selecting) a singleton set, and $\scriptstyle$ (the identity functor of) the category of sets. This coincides with the algebraic characterization, since the unique map $\mathbf \to \mathbf$ extends the commutative triangles defining arrows of the coslice category to form the commutative squares defining homomorphisms of the algebras.

The category of pointed sets and pointed maps has both products and coproducts, but it is not a distributive category. It is also an example of a category where $0 \times A$ is not isomorphic to $0$.

Many algebraic structures are pointed sets in a rather trivial way. For example, groups are pointed sets by choosing the identity element as the basepoint, so that group homomorphisms are point-preserving maps. This observation can be restated in category theoretic terms as the existence of a forgetful functor from groups to pointed sets.

A pointed set may be seen as a pointed space under the discrete topology or as a vector space over the field with one element.

As "rooted set" the notion naturally appears in the study of antimatroids and transportation polytopes.

See also

*
*
*
*

References

*

External links

Pullbacks in Category of Sets and Partial Functions
*
* {{nlab, id=pointed+object, title=Pointed object

Basic concepts in set theory
Algebraic structures
Category theory