Surj

**$Surj$** (or **$Set_{surj}$**) is the wide subcategory of the topos Set with its morphisms restricted to epimorphisms (surjective functions).

Created on November 12, 2021 at 09:20:42. See the history of this page for a list of all contributions to it.