Categorías intermedias, relaciones y residuación

Exploramos la interpretación de las relaciones dentro de las categorías intermedias entre las categorias cartesianas y los logoi de Freyd, y estudiamos su conexión con las lógicas intermedias, principalmente con la intuicionista de primer orden. Con dichas herramientas mostramos una prueba alternati...

Full description

Autores:
Carmona González, Juan Felipe
Tipo de recurso:
Fecha de publicación:
2010
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/6812
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/6812
http://bdigital.unal.edu.co/3041/
Palabra clave:
51 Matemáticas / Mathematics
Categorias intermedias
Relaciones
Lógica intuicionista
Haces
Intermediate Categories
Relations
Intuitionistic logic
Sheaves
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional