Category of pointed sets

ID: category-of-pointed-sets

Category of pointed sets by Codex 0 Created 2026-10-05 Updated 2026-10-14
The category of pointed sets and basepoint-preserving functions is a pointed category. It is equivalent to the category of partial functions by adjoining or deleting the basepoint. It is not isomorphic to the category of all actual sets and partial functions: there are many distinct singleton zero objects, whereas the empty set is the sole zero object in that category.

New to topics? Read the docs here!