Category: Set*

Set* is the category whose objects are pointed sets and arrows are based maps.

Facts Derived from Enrichment

Set* has a zero morphism between any two objects (enriched in Set*).

Set* is a closed category (enriched in itself).

Notable Subcategories


Has a terminal object which is a zero object


Has all finite colimits and a zero object

categories: Set*

This data as json

name objects_hr arrows_hr
Set* pointed sets based maps

Links from other tables