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)

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

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)