Categorical set theory is any one of several versions of
set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concer ...
developed from or treated in the context of mathematical
category theory.
See also
*
Categorical logic
__NOTOC__
Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science.
In broad terms, cat ...
References
*
*
*
*
*
*
*
*
*
*
External links
*
Category theory
Set theory
Formal methods
Categorical logic
{{cattheory-stub