The Uses and Abuses of the History of Topos Theory
From MaRDI portal
Publication:3491788
DOI10.1093/bjps/41.3.351zbMath0709.18002OpenAlexW1963512899MaRDI QIDQ3491788
Publication date: 1990
Published in: The British Journal for the Philosophy of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/bjps/41.3.351
History of mathematics in the 20th century (01A60) Topoi (18B25) History of category theory (18-03) Foundations, relations to logic and deductive systems (18A15)
Related Items
Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi ⋮ Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes ⋮ FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ A topos for algebraic quantum theory ⋮ Grothendieck’s Unifying Vision of Geometry ⋮ Constructive Modalities with Provability Smack
This page was built for publication: The Uses and Abuses of the History of Topos Theory
