scientific article; zbMATH DE number 2172009

zbMATH Open1072.18005MaRDI QIDQ4679166FDOQ4679166

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (16)

• Topo-logie
• A characterisation of the category of compact Hausdorff spaces
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• The weak choice principle WISC may fail in the category of sets
• On the distinction between sets and classes: a categorical perspective
• Title not available (Why is that?)
• Title not available (Why is that?)
• Univalent foundations as structuralist foundations
• Strange new universes: Proof assistants and synthetic 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)