In mathematics, a pointed set (also based set or rooted set) is an ordered pair
Maps between pointed sets
Pointed sets may be regarded as a rather simple algebraic structure. In the sense of universal algebra, they are structures with a single nullary operation which picks out the basepoint.
The class of all pointed sets together with the class of all based maps form a category. In this category the pointed singleton set
The category of pointed sets and based maps is equivalent to but not isomorphic with the category of sets and partial functions. 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 co-slice category
The category of pointed sets and pointed maps has both products and co-products, but it is not a distributive category. It is also an example of a category where
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.