Molecular toposes

DOI10.1016/0022-4049(80)90080-8MaRDI QIDQ1140706zbMATH OpenOpenAlexFDO

Authors Michael Barr, Robert Paré

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

zbMATH Keywords

left adjointGrothendieck toposesatomic toposright adjointcomplete atomic boolean algebralogical functor between toposesmolecular topos

Mathematics Subject Classification ID

Topoi (18B25)

Cites work

• scientific article; zbMATH DE number 3537887 (Why is no real title available?)
• scientific article; zbMATH DE number 3605078 (Why is no real title available?)
• Atomic toposes
• Change of base for toposes with generators
• Colimits in Topoi

Cited in

(35)

• The Michael completion of a topos spread
• Open maps of toposes
• On the representation theory of Galois and atomic topoi.
• Left exact presheaves on a small pretopos
• Representation of categories
• On Comparability in a Topos
• scientific article; zbMATH DE number 3916527 (Why is no real title available?)
• Cocomplete toposes whose exact completions are toposes
• An algebraic approach to stable domains
• The Classifying Topos of a Continuous Groupoid. I
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
• Locally anisotropic toposes. II
• Spreads and the symmetric topos. II
• An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal
• Pitts monads and a lax descent theorem
• Spreads and the symmetric topos
• scientific article; zbMATH DE number 3941764 (Why is no real title available?)
• Toposes for semigroups: an invitation
• Open localizations
• Ultrafilters, finite coproducts and locally connected classifying toposes
• scientific article; zbMATH DE number 2151115 (Why is no real title available?)
• The universal covering of an inverse semigroup.
• The construction of \(\pi_0\) in Axiomatic Cohesion
• The fundamental group of a molecular topos
• A topos-theorist looks at dilators
• van Kampen theorems for toposes
• Indexed categories and generated topologies
• Smooth spaces versus continuous spaces in models for synthetic differential geometry
• Distribution algebras and duality
• Connected Locally Connected Toposes are Path-Connected
• Decidable objects and molecular toposes
• Filtered colimit elimination from Birkhoff's variety theorem
• Every étendue comes from a local equivalence relation
• scientific article; zbMATH DE number 3739796 (Why is no real title available?)
• The locally connected coclosure of a Grothendieck topos

This page was built for publication: Molecular toposes

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