Variations on the bagdomain theme

DOI10.1016/0304-3975(94)00120-8zbMath0874.18003OpenAlexW2092620592MaRDI QIDQ1349648

Peter T. Johnstone

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00120-8

zbMATH Keywords

Grothendieck toposes2-categoriesbagdomainpartial product functors

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Topoi (18B25)

Related Items (5)

Unnamed Item ⋮ Discrete random variables over domains ⋮ Restriction categories II: Partial map classification ⋮ Natural models of homotopy type theory ⋮ Fibrations and partial products in a 2-category

Cites Work

• Total reflections, partial products, and hereditary factorizations
• Categories of Boolean sheaves of simple algebras
• Exponentiable morphisms, partial products and pullback complements
• Continuous categories and exponentiable toposes
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Fibrations and partial products in a 2-category
• Artin glueing
• Monads for which structures are adjoint to units
• Local Maps of Toposes
• Connected limits, familial representability and Artin glueing
• 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: Variations on the bagdomain theme