A topos-theorist looks at dilators

DOI10.1016/0022-4049(89)90039-XzbMath0675.18005OpenAlexW1999447354MaRDI QIDQ1121978

Peter T. Johnstone

Publication date: 1989

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(89)90039-x

zbMATH Keywords

Grothendieck topologyatomic toposdilatorsclassifying topos for the theory of dense linear orders without end pointslinearly ordered objects in an atomic topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items

An algebraic approach to stable domains, Finite presentability of strongly finite dilators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Atomic toposes
• Categories localement multipresentables
• Molecular toposes
• Boolean classifying topoi
• Forcing and classifying topoi
• An extension of the Galois theory of Grothendieck
• Full Continuous Embeddings of Toposes
• Π12-logic, Part 1: Dilators