Internal and external aspects of continuous logic and categorical logic for sheaves over quantales

In this text we explore and propose notions of sheaves over commutative, integral quantales, which are based on extensions of results of the theory of sheaves over locales: the interplay of sheaves as valued-sets and the analogy of sheaves as enriched categories. Over these proposals, we define logi...

Full description

Autores:
Reyes Gaona, David
Tipo de recurso:
Fecha de publicación:
2023
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
eng
OAI Identifier:
oai:repositorio.unal.edu.co:unal/85026
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/85026
https://repositorio.unal.edu.co/
Palabra clave:
510 - Matemáticas::514 - Topología
510 - Matemáticas::512 - Álgebra
510 - Matemáticas::511 - Principios generales de las matemáticas
510 - Matemáticas::515 - Análisis
510 - Matemáticas::511 - Principios generales de las matemáticas
510 - Matemáticas::514 - Topología
510 - Matemáticas::512 - Álgebra
510 - Matemáticas::511 - Principios generales de las matemáticas
510 - Matemáticas::515 - Análisis
510 - Matemáticas::511 - Principios generales de las matemáticas
Algebra-métodos gráficos
Lógica
Algebra - Graphic methods
Logic
Sheaves
Quantales
Enriched categories
Metric spaces
Quantale valued logic
Haces
Cuantales
Categorías enriquecidas
Espacios métricos
Lógica cuantal valuada
Rights
openAccess
License
Reconocimiento 4.0 Internacional