Source: wikibot/categorical-set-theory
= Categorical set theory
{wiki=Categorical_set_theory}
Categorical set theory is an approach to set theory that emphasizes the use of category theory to study sets and their relationships. It aims to formalize and generalize the concepts of traditional set theory by using the language and structure of category theory, which focuses on the relationships (morphisms) between objects (sets) rather than just the objects themselves.