Why not Pointed?
Jump to navigation
Jump to search
The Pointed
type class lives in the pointed library, moved from the category-extras library.
Edward Kmett, the author of category-extras, pointed, and many related packages, has since moved his focus to semigroupoids and semigroups. He finds them more interesting and useful, and considers Pointed
to be historical now (he still provides the pointed package only because “people were whinging”).