Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
DOI10.1112/PLMS/S3-57.3.433zbMATH Open0619.18005OpenAlexW2046475951MaRDI QIDQ3755631FDOQ3755631
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
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
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)
Cited In (23)
- Title not available (Why is that?)
- Determinism of multirelations
- Supersimple \(\omega\)-categorical theories and pregeometries
- Title not available (Why is that?)
- Title not available (Why is that?)
- An introduction to quantaloid-enriched categories
- Sheaves on involutive quantales: Grothendieck quantales.
- Girard quantaloids
- Groupoid sheaves as quantale sheaves
- Title not available (Why is that?)
- Algebraic theories and commutativity in a sheaf topos
- On quantaloids and quantal categories
- Modulated bicategories
- On fuzzification of the notion of quantaloid
- Spreads and the symmetric topos
- Quantaloids, enriched categories and automata theory
- Quantaloidal nuclei, the syntactic congruence and tree automata
- Interpolation property for bicartesian closed categories
- A categorical approach to the semantics of argumentation
- \(*\)-autonomous categories of bimodules
- The symmetric topos
- An Australian conspectus of higher categories
- Title not available (Why is that?)
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)
