# nLab Surj

category theory

## Idea

$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.