The symmetric topos

DOI10.1016/0022-4049(94)00157-XzbMath0847.18004OpenAlexW2064563717MaRDI QIDQ1910730

Aurelio Carboni, Marta C. Bunge

Publication date: 19 May 1996

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(94)00157-x

zbMATH Keywords

Grothendieck toposessmallness conditionsymmetric toposgeometric morphisms2-category of cocomplete categoriesdescent techniquesleft biadjoint to forgetful functor

Mathematics Subject Classification ID

Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

On sifted colimits in the presence of pullbacks ⋮ A variety theorem for relational universal algebra ⋮ Distribution algebras and duality ⋮ Pitts monads and a lax descent theorem ⋮ Syntactic characterizations of various classes of locally presentable categories ⋮ When do completion processes give rise to extensive categories? ⋮ Completeness of cocompletions ⋮ On algebraically exact categories and essential localizations of varieties ⋮ Spreads and the symmetric topos ⋮ Spreads and the symmetric topos. II ⋮ The Michael completion of a topos spread ⋮ A simple characterization of theories of varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coinverters and categories of fractions for categories with structure
• Some free constructions in realizability and proof theory
• Monads for which structures are adjoint to units
• Cosheaves and distributions on toposes
• An extension of the Galois theory of Grothendieck
• Cohesive Toposes and Cantor's 'lauter Einsen'