Abstract

We introduce and study some categories of quantale valued sets defined over commutative semicartesian quantales (quantales "with projections"). This extends known results on locale valued sets and establishes a preliminary categorial step to deal with internal logic of such categories.

Alternate abstract:

Introducimos y estudiamos algunas categorías de conjuntos valuados por quantales semicartesianos conmutativos (quantales "con proyecciones"). Esto amplía los resultados conocidos sobre conjuntos valuados localmente y establece un paso categorial preliminar para tratar con la lógica interna de tales categorías.

Details

Title
On categories of quantale valued sets
Author
José Goudet Alvim; Caio de Andrade Mendes; Mariano, Hugo Luiz
Pages
41-47
Section
Proceedings Primer Encuentro de Lógica Brasil-Colombia - Artículos cortos (resúmenes extendidos)
Publication year
2023
Publication date
2023
Publisher
Universidad Nacional de Colombia
ISSN
01200380
e-ISSN
23576529
Source type
Scholarly Journal
Language of publication
English
ProQuest document ID
3095069478
Copyright
© 2023. This work is published under https://creativecommons.org/licenses/by/4.0 (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.