A topos-theorist looks at dilators

DOI10.1016/0022-4049(89)90039-XMaRDI QIDQ1121978zbMATH OpenOpenAlexFDO

Authors Peter 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

atomic toposclassifying topos for the theory of dense linear orders without end pointsdilatorsGrothendieck topologylinearly ordered objects in an atomic topos

Mathematics Subject Classification ID

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

Review text

The concept of a dilator is central to the development of \(\Pi^ 1_ 2\)-logic, which was investigated extensively by \textit{J.-Y. Girard} [Ann. Math. Logic 21, 75-219 (1981; Zbl 0496.03037)]. In this clearly written and interesting article, the author indicates how dilators can be looked at topos theoretically. The reader with the necessary category theoretical background will find this description clear and helpful. The stage is set by looking at the category \(\underline{\text{Lord}}\) of linearly ordered sets and strictly order preserving mappings, its full subcategory \(\underline{\text{Word}}\) of well-ordered sets and also the subcategory \underbar{Ford} of finite orders. Following Girard, a dilator is a functor \(\underline{\text{Word}}\to\) Word which preserves pullbacks and filtered colimits. The author proceeds to show that in fact dilators live in the atomic topos \({\mathcal E}=sh(\underline{\text{Ford}}^{op})\), where \(\underline{\text{Ford}}^{op}\) is an atomic site with its canonical Grothendieck topology, where every non-empty sieve is a cover. \({\mathcal E}\) is the classifying topos for the theory of dense linear orders without end points. Dilators become a full subcategory of \(\underline{\text{Lord}}({\mathcal E})\), the category of linearly ordered objects in \({\mathcal E}\). The article proceeds to analyze linearly ordered objects in an atomic topos and applies these ideas to the specific case of \({\mathcal E}\), and some of Girard's results about dilators are derived in this topos theoretic framework.

Recommendations

• scientific article; zbMATH DE number 3906494
• Introduction to \(\Pi^1_2\)-logic
• Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)
• Finite presentability of strongly finite dilators
• A proof-theoretical analysis of ptykes

Cites work

• An extension of the Galois theory of Grothendieck
• Atomic toposes
• Boolean classifying topoi
• Categories localement multipresentables
• Forcing and classifying topoi
• Full Continuous Embeddings of Toposes
• scientific article; zbMATH DE number 3886100 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3654118 (Why is no real title available?)
• scientific article; zbMATH DE number 3404447 (Why is no real title available?)
• Molecular toposes
• Π12-logic, Part 1: Dilators

Cited in

(3)

• Introduction to \(\Pi^1_2\)-logic
• Finite presentability of strongly finite dilators
• An algebraic approach to stable domains

This page was built for publication: A topos-theorist looks at dilators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1121978)