Publicado
Sheaf Categories on semicartesian monoidal categories: logical and cohomological aspects
Categorías de haces en categorías monoidales semicartesianas: aspectos lógicos y cohomológicos
Palabras clave:
toposes, sheaves, quantales, monoidal categories (en)toposes, sheaves, quantales, monoidal categories (es)
Descargas
Proceedings ELBC - Short Paper
Proceedings ELBC - Artículo corto
Referencias
Jirí Adámek and Jirí Rosicky, Locally presentable and accessible categories, vol. 189, Cambridge University Press, 1994.
José Goudet Alvim, Caio de Andrade Mendes, and Hugo Luiz Mariano, Q-sets and friends: Categorical constructions and categorical properties, arXiv (2023), no. 2302.03123.
José Goudet Alvim, Q-sets and friends: Regarding singleton and gluing completeness, arXiv (2023), no. 2302.03691.
Francis Borceux, Jiri Rosicky, and Gilberte Van den Bossche, Quantales and C*-algebras, Journal of the London Mathematical Society 2 (1989), no. 3, 398-404.
Marcelo E. Coniglio and Francisco Miraglia, Non-commutative topology and quantales, Studia Logica 65 (2000), no. 2, 223-236.
Brian Day, Note on monoidal localisation, Bulletin of the Australian Mathematical Society 8 (1973), no. 1, 1-16.
Hans Heymans and Isar Stubbe, Grothendieck quantaloids for allegories of enriched categories, Bulletin of the Belgian Mathematical Society - Simon Stevin 19 (2012), no. 5, 859-888.
Peter Johnstone, Topos theory, London Mathematical Society Monographs, Academic Press, London, 1977.
Saunders MacLane and Ieke Moerdijk, Sheaves in geometry and logic: A first introduction to topos theory, Universitext, Springer, New York, 1992.
Martin Mathieu, Towards a sheaf cohomology theory for C*-algebras, Banach Algebras and Applications 2017 (2020), 197-212.
Francisco Miraglia and Ugo Solitro, Sheaves over right sided idempotent quantales, Logic Journal of IGPL 6 (1998), no. 4, 545-600.
Pedro Resende, Groupoid sheaves as quantale sheaves, Journal of Pure and Applied Algebra 216 (2012), no. 1, 41-70.
Félix Cabello Sánchez, Jesús MF Castillo, Willian HG Corrêa, Valentin Ferenczi, and Ricardo García, On the Ext2-problem for Hilbert spaces, Journal of Functional Analysis 280 (2021), no. 4, 108863.
Michael Shulman, Affine logic for constructive mathematics, Bulletin of Symbolic Logic 28 (2022), no. 3, 327-386.
Ana Luiza Tenório, Sheaves on semicartesian monoidal categories and applications in the quantalic case, https://www.teses.usp.br/teses/disponiveis/45/45131/tde-31082023-163143/pt-br.php, 2023.
Ana Luiza Tenório, Caio de Andrade Mendes, and Hugo Luiz Mariano, On sheaves on semicartesian quantales and their truth values, arXiv (2023), no. 2204.08351 v2.
