MathGloss

The category of sets is the category whose objects are sets and whose morphisms are functions between sets.

Wikidata ID: Q2518298