Categories, toposes and sets

DOI10.1007/BF00485258zbMath0487.18002OpenAlexW2029960710MaRDI QIDQ1165303

John L. Bell

Publication date: 1982

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00485258

zbMATH Keywords

sheavesaxiom of choiceelementary toposindependence of continuum hypothesis

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Axiom of choice and related propositions (03E25)

Related Items (6)

Category-theoretic analysis of the notion of complementarity for quantum systems ⋮ Categorical representation of locally Noetherian log schemes ⋮ CGOOD, a categorical graph-oriented object data model ⋮ Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations ⋮ A sheaf-theoretic topos model of the physical ‘Continuum’ and its cohomological observable dynamics ⋮ Rosen's modelling relations via categorical adjunctions

Cites Work

• Topoi. The categorial analysis of logic
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categories, toposes and sets