Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory

DOI10.1112/PLMS/S3-57.3.433MaRDI QIDQ3755631zbMATH OpenOpenAlexFDO

Authors Andrew M. Pitts

Publication date 1988

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/plms/s3-57.3.433

zbMATH Keywords

Grothendieck toposessup-latticesenriched category of relationslocalic morphisms

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Other infinitary logic (03C75) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• Grothendieck enriched categories
• On the homotopy theory of enriched categories
• scientific article; zbMATH DE number 426296
• scientific article; zbMATH DE number 2242855
• Factorizable enriched categories and applications
• Grothendieck categories of enriched functors
• scientific article; zbMATH DE number 19710
• Segal enriched categories and applications
• scientific article; zbMATH DE number 954409
• scientific article; zbMATH DE number 909653

Cited in

(23)

• Groupoid sheaves as quantale sheaves
• scientific article; zbMATH DE number 29047 (Why is no real title available?)
• Supersimple \(\omega\)-categorical theories and pregeometries
• Interpolation property for bicartesian closed categories
• An introduction to quantaloid-enriched categories
• On fuzzification of the notion of quantaloid
• Sheaves on involutive quantales: Grothendieck quantales.
• The symmetric topos
• scientific article; zbMATH DE number 4181603 (Why is no real title available?)
• Modulated bicategories
• Girard quantaloids
• An Australian conspectus of higher categories
• scientific article; zbMATH DE number 7731060 (Why is no real title available?)
• Quantaloidal nuclei, the syntactic congruence and tree automata
• Algebraic theories and commutativity in a sheaf topos
• scientific article; zbMATH DE number 529899 (Why is no real title available?)
• A categorical approach to the semantics of argumentation
• scientific article; zbMATH DE number 5054860 (Why is no real title available?)
• Spreads and the symmetric topos
• \(*\)-autonomous categories of bimodules
• Determinism of multirelations
• Quantaloids, enriched categories and automata theory
• On quantaloids and quantal categories

This page was built for publication: Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory

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