Molecular toposes
From MaRDI portal
Publication:1140706
DOI10.1016/0022-4049(80)90080-8zbMath0436.18002OpenAlexW4213330752MaRDI QIDQ1140706
Publication date: 1980
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(80)90080-8
Grothendieck toposesleft adjointatomic toposright adjointcomplete atomic boolean algebralogical functor between toposesmolecular topos
Related Items
Unnamed Item, Representation of categories, A topos-theorist looks at dilators, Toposes for semigroups: an invitation, An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal, Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\), Cocomplete toposes whose exact completions are toposes, The construction of \(\pi_0\) in Axiomatic Cohesion, Open maps of toposes, Indexed categories and generated topologies, Unnamed Item, van Kampen theorems for toposes, An algebraic approach to stable domains, On the representation theory of Galois and atomic topoi., Unnamed Item, Open localizations, Distribution algebras and duality, Connected Locally Connected Toposes are Path-Connected, Every étendue comes from a local equivalence relation, Ultrafilters, finite coproducts and locally connected classifying toposes, Unnamed Item, The universal covering of an inverse semigroup., Pitts monads and a lax descent theorem, On Comparability in a Topos, Unnamed Item, The Classifying Topos of a Continuous Groupoid. I, Spreads and the symmetric topos, The fundamental group of a molecular topos, Spreads and the symmetric topos. II, Left exact presheaves on a small pretopos, The locally connected coclosure of a Grothendieck topos, Smooth spaces versus continuous spaces in models for synthetic differential geometry, The Michael completion of a topos spread
Cites Work
