scientific article; zbMATH DE number 3941764

MaRDI QIDQ3714248zbMATH OpenFDO

Authors Ieke Moerdijk

Publication date 1986

Full work available at URL http://www.numdam.org/item?id=CM_1986__58_1_45_0, https://eudml.org/doc/89765

zbMATH Keywords

continuous fibrationsdescentgeometric morphismsGrothendieck toposesinverse systemsites

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10)

Recommendations

• Inverse limits in the category of locales
• Proper maps of toposes
• scientific article; zbMATH DE number 177191
• scientific article; zbMATH DE number 3989615
• An `unsitely' result on atomic morphisms

Cites work

• All topoi are localic or why permutation models prevail
• An extension of the Galois theory of Grothendieck
• Atomic toposes
• Grothendieck toposes have boolean points a new proof
• scientific article; zbMATH DE number 3710374 (Why is no real title available?)
• Molecular toposes
• On choice sequences determined by spreads
• Open maps of toposes
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 2: Exp. V--VIII
• Smooth spaces versus continuous spaces in models for synthetic differential geometry

Cited in

(18)

• What is the fundamental group?
• The fundamental localic groupoid of a topos
• van Kampen theorems for toposes
• On the representation theory of Galois and atomic topoi.
• Spreads and the symmetric topos
• Proof of a conjecture of A. Pitts
• The Michael completion of a topos spread
• The space of measurement outcomes as a spectral invariant for non-commutative algebras
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• The Classifying Topos of a Continuous Groupoid. I
• Connected Locally Connected Toposes are Path-Connected
• Path-Lifting for Grothendieck Toposes
• Cosheaves and connectedness in formal topology
• A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \)
• Some properties of internal locale morphisms externalised
• On the construction of the Grothendieck fundamental group of a topos by paths
• Generalising canonical extension to the categorical setting
• The fundamental progroupoid of a general topos

This page was built for publication:

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