Continuous categories and exponentiable toposes

DOI10.1016/0022-4049(82)90083-4zbMath0487.18003OpenAlexW2031930376MaRDI QIDQ1165305

Peter T. Johnstone, André Joyal

Publication date: 1982

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(82)90083-4

zbMATH Keywords

topos of sheavescontinuous latticesflat functorslocally finitely presentable categoriesbounded toposescontinuous categoriesexponentiable spacesinjective toposesleft functors

Mathematics Subject Classification ID

Partial orders, general (06A06) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (34)

Completely distributive enriched categories are not always continuous ⋮ A completeness theorem for open maps ⋮ Exponentiable Grothendieck categories in flat algebraic geometry ⋮ General facts on the Scott adjunction ⋮ Unnamed Item ⋮ Variations on the bagdomain theme ⋮ Unnamed Item ⋮ Monads for which structures are adjoint to units ⋮ The closure of a class of colimits ⋮ General function spaces, products and continuous lattices ⋮ Totally distributive toposes ⋮ K-theory of large categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Pluri-adjoints and preservation of finite limits ⋮ An algebraic approach to stable domains ⋮ A duality of quantale-enriched categories ⋮ Cosheaves and connectedness in formal topology ⋮ An addendum to “Path-lifting for Grothendieck toposes" ⋮ On the construction of the Grothendieck fundamental group of a topos by paths ⋮ Algebra and local presentability: how algebraic are they? (A survey) ⋮ Connected Locally Connected Toposes are Path-Connected ⋮ Approximation in quantale-enriched categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On algebraically exact categories and essential localizations of varieties ⋮ A remark on conservative cocompletions of categories ⋮ On function spaces ⋮ Unnamed Item ⋮ Toposes as homotopy groupoids ⋮ Final coalgebras in accessible categories ⋮ Unnamed Item ⋮ Structure theory for pro-objects from an arbitrary category ⋮ Fibrations and partial products in a 2-category

Cites Work

• The Gleason cover of a topos. II
• Cartesianness: topological spaces, uniform spaces, and affine schemes
• Change of base for toposes with generators
• Completeness results for intuitionistic and modal logic in a categorical setting
• Artin glueing
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• An extension of the Galois theory of Grothendieck
• The Duality of Distributive Continuous Lattices
• Cartesian inclusion: locales and topgses^∗
• Function spaces and adjoints.
• Borsuk shape and a generalization of Grothendieck's definition of pro-category
• The Spectral Theory of Distributive Continuous Lattices
• Prime Ideal Structure in Commutative Rings
• Atomless Parts of Spaces.
• On topologies for function spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuous categories and exponentiable toposes