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 choicecategory of setsset theorytopos theory

Mathematics Subject Classification ID

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

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

(21)

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

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)