Variations on the bagdomain theme

DOI10.1016/0304-3975(94)00120-8MaRDI QIDQ1349648zbMATH OpenOpenAlexFDO

Authors Peter 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

2-categoriesGrothendieck toposesbagdomainpartial product functors

Mathematics Subject Classification ID

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

Recommendations

• Different generalizations of bags
• On bags and bugs
• Some variations on a theme by Buneman
• scientific article; zbMATH DE number 810102
• On variations of designs
• Variation on a comprehensive theme
• scientific article; zbMATH DE number 1326915

Cites work

• scientific article; zbMATH DE number 431766 (Why is no real title available?)
• scientific article; zbMATH DE number 431773 (Why is no real title available?)
• scientific article; zbMATH DE number 431774 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19494 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3608260 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• scientific article; zbMATH DE number 3259724 (Why is no real title available?)
• Artin glueing
• Categories of Boolean sheaves of simple algebras
• Connected limits, familial representability and Artin glueing
• Continuous categories and exponentiable toposes
• Exponentiable morphisms, partial products and pullback complements
• Fibrations and partial products in a 2-category
• Local Maps of Toposes
• Monads for which structures are adjoint to units
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Total reflections, partial products, and hereditary factorizations

Cited in

(6)

• Restriction categories II: Partial map classification
• Natural models of homotopy type theory
• Fibrations and partial products in a 2-category
• Discrete random variables over domains
• scientific article; zbMATH DE number 810102 (Why is no real title available?)
• scientific article; zbMATH DE number 1396061 (Why is no real title available?)

This page was built for publication: Variations on the bagdomain theme

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