Cohesive Toposes and Cantor's 'lauter Einsen'

DOI10.1093/philmat/2.1.5zbMath0801.18005OpenAlexW2109667066MaRDI QIDQ4282801

F. William Lawvere

Publication date: 10 April 1994

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/2.1.5

zbMATH Keywords

cardinalitytopoicardinal number

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Ordinal and cardinal numbers (03E10)

Related Items

The symmetric topos, Unity and identity of opposites in calculus and physics, The construction of \(\pi_0\) in Axiomatic Cohesion, On exponentiating exponentiation, Introduction: A personal tribute to Peter Freyd and Bill Lawvere, THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES, Foundations and Applications: Axiomatization and Education, Sobriety for equilogical spaces, Univalence as a principle of logic, What we talk about when we talk about numbers, Spreads and the symmetric topos, Topos theory and Souslin's hypothesis