A completeness theorem for open maps

DOI10.1016/0168-0072(94)90069-8zbMath0809.18005OpenAlexW2043229226MaRDI QIDQ1338199

Ieke Moerdijk, André Joyal

Publication date: 28 March 1995

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

Full work available at URL: http://hdl.handle.net/2066/129067

zbMATH Keywords

Grothendieck toposeslocalescategorical logicopen morphismsétale morphismscollection axiom

Mathematics Subject Classification ID

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

Related Items

Graphs, hypergraphs, and properads, Bisimulation maps in presheaf categories, Open maps, behavioural equivalences, and congruences, Weighted and branching bisimilarities from generalized open maps, A presheaf semantics of value-passing processes, Presheaf models for CCS-like languages, Arboreal categories and equi-resource homomorphism preservation theorems, Open maps, behavioural equivalences, and congruences, Petri nets and bisimulation, The associated sheaf functor theorem in algebraic set theory, Aspects of predicative algebraic set theory. I: Exact completion, Unifying behavioral equivalences of timed transition systems, A Brief Introduction to Algebraic Set Theory, Open maps in concrete categories and branching bisimulation for prefix orders, Coalgebra morphisms subsume open maps

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Open maps of toposes
• Continuous categories and exponentiable toposes
• Artin glueing
• An extension of the Galois theory of Grothendieck
• Modal logics withn-ary connectives
• The Classifying Topos of a Continuous Groupoid. I
• Local Maps of Toposes
• Grothendieck toposes have boolean points a new proof