Spreads and the symmetric topos

DOI10.1016/0022-4049(95)00150-6zbMath0861.18004OpenAlexW4213337074MaRDI QIDQ1815300

Marta C. Bunge, Jonathon Funk

Publication date: 12 May 1997

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(95)00150-6

zbMATH Keywords

spreadsdistribution on topos2-categorylocal connectednessgeometric morphismsbicomma squareselementary toposesKock-Zöberlein 2-monadsymmetric toposes

Mathematics Subject Classification ID

Topoi (18B25) Categorical methods in general topology (54B30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items

Unnamed Item, van Kampen theorems for toposes, Unnamed Item, Distribution algebras and duality, Spreads and the symmetric topos. II, The locally connected coclosure of a Grothendieck topos, The Michael completion of a topos spread

Cites Work

• 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
• Open maps of toposes
• Molecular toposes
• Monads for which structures are adjoint to units
• Cosheaves and distributions on toposes
• The symmetric topos
• Cuts
• Fuzzy Set Theory and Topos Theory
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Cohesive Toposes and Cantor's 'lauter Einsen'
• Introduction to bicategories
• Connected limits, familial representability and Artin glueing
• Constructive theory of the lower power locale
• The comprehensive factorization of a functor
• Fibrewise separation axioms for locales