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...
- 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
- 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