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 (12)

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

This page was built for publication: Cohesive Toposes and Cantor's 'lauter Einsen'