nLab
allegorical set theory
Redirected from "allegorical set theories".
Contents
Context
Foundations
foundations
The basis of it all
-
mathematical logic
-
deduction system, natural deduction, sequent calculus, lambda-calculus, judgment
-
type theory, simple type theory, dependent type theory
-
collection, object, type, term, set, element
-
equality, judgmental equality, typal equality
-
universe, size issues
-
higher-order logic
Set theory
Foundational axioms
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.