Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory

DOI10.1112/plms/s3-57.3.433zbMath0619.18005OpenAlexW2046475951MaRDI QIDQ3755631

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) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Other infinitary logic (03C75) Enriched categories (over closed or monoidal categories) (18D20) Grothendieck topologies and Grothendieck topoi (18F10)

Related Items

An introduction to quantaloid-enriched categories, Sheaves on involutive quantales: Grothendieck quantales., Modulated bicategories, Interpolation property for bicartesian closed categories, \(*\)-autonomous categories of bimodules, Quantaloids, enriched categories and automata theory, Girard quantaloids, Unnamed Item, On quantaloids and quantal categories, Unnamed Item, A categorical approach to the semantics of argumentation, Unnamed Item, Groupoid sheaves as quantale sheaves, Quantaloidal nuclei, the syntactic congruence and tree automata, Unnamed Item, Unnamed Item, Spreads and the symmetric topos, An Australian Conspectus of Higher Categories, Unnamed Item