foundations
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
basic constructions:
material axioms:
structural axioms:
type theoretic axioms:
axioms of choice:
large cardinal axioms:
strong axioms
further
axiom of inequality spaces
Edit this sidebar
mathematics
math resources
history of mathematics
Structural Foundations
logic
category theory
Categories and Sheaves
topos theory
higher category theory
higher topos theory
homotopy theory
Topology and Geometry
Algebra
universal algebra
higher algebra
homological algebra
group theory, ring theory
algebraic approaches to differential calculus
counterexamples in algebra
analysis
nonstandard analysis
functional analysis
Fourier transform
Lie theory
probability theory
discrete mathematics
The application of synthetic mathematics to probability theory, related to measurable locales.
Last revised on May 12, 2024 at 11:28:01. See the history of this page for a list of all contributions to it.