 Pointed set

A pointed set is a set $X$ with a distinguished element $x_0\in X$. A morphism of pointed sets is a function carrying the distinguished element to the distinguished element. The resulting category of pointed sets has every singleton as a zero object.

In category theory, a **pointed set** is a type of set that has a distinguished element, often referred to as the "base point." Formally, a pointed set can be defined as a pair \((X, x_0)\) where: - \(X\) is a set. - \(x_0 \in X\) is a distinguished element of \(X\) called the base point.