scientific article; zbMATH DE number 2172009

MaRDI QIDQ4679166zbMATH OpenFDO

Authors F. William Lawvere

Publication date 27 May 2005

Full work available at URL http://www.emis.de/journals/TAC/reprints/articles/11/tr11abs.html

zbMATH Keywords

axiom of choiceset theorytopos theorycategory of sets

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Categories of sets, characterizations (18B05) Philosophy of mathematics (00A30)

Recommendations

• scientific article; zbMATH DE number 192841
• Sheaves in geometry and logic: a first introduction to topos theory
• scientific article; zbMATH DE number 800841
• scientific article; zbMATH DE number 3851090
• scientific article; zbMATH DE number 53544

Cited in

(16)

• Strange new universes: Proof assistants and synthetic foundations
• Topo-logie
• A characterisation of the category of compact Hausdorff spaces
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• scientific article; zbMATH DE number 2222246 (Why is no real title available?)
• Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• Filtral pretoposes and compact Hausdorff locales
• Set Theory and Structures
• A meaning explanation for HoTT
• scientific article; zbMATH DE number 3851090 (Why is no real title available?)
• The weak choice principle WISC may fail in the category of sets
• On the distinction between sets and classes: a categorical perspective
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3964129 (Why is no real title available?)
• Univalent foundations as structuralist foundations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4679166)