basic constructions:
strong axioms
further
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.
Created on November 13, 2022 at 18:53:14. See the history of this page for a list of all contributions to it.