nLab allegorical set theory

Contents

Context

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axiom

Removing axioms

Contents

Idea

There are two general approaches to structural set theory; those that attempt to axiomatise the category Set of sets and functions, and those that attempt to axiomatise the allegory Rel of sets and relations. The latter is called allegorical set theory.

Examples

See also

Created on November 13, 2022 at 18:53:14. See the history of this page for a list of all contributions to it.