Enriched lower separation axioms and the principle of enriched continuous extension

[EN] This paper presents a version of the lower separation axioms and the principle of enriched continuous extension for quantale-enriched topological spaces. As a remarkable result, among other things, we point out that in the case of commutative Girard quantales the principle of continuous extensi...

Descripción completa

Detalles Bibliográficos
Autores: Arrieta Torres, Igor, Gutiérrez García, Francisco Javier, Höhle, Ulrich
Tipo de recurso: artículo
Fecha de publicación:2023
País:España
Institución:Universidad del País Vasco
Repositorio:Addi. Archivo Digital para la Docencia y la Investigación
OAI Identifier:oai:addi.ehu.eus:10810/64070
Acceso en línea:http://hdl.handle.net/10810/64070
Access Level:acceso abierto
Palabra clave:unital quantale
modules in sup
quantale-enriched topological space
closed presheaves
lower separation axioms
convergence of quantale-enriched filters
extension by quantale-enriched continuity
Descripción
Sumario:[EN] This paper presents a version of the lower separation axioms and the principle of enriched continuous extension for quantale-enriched topological spaces. As a remarkable result, among other things, we point out that in the case of commutative Girard quantales the principle of continuous extension holds for projective modules in Sup.