Sobre a Noção Categorial de Proto-topos
O objetivo da presente trabalho é mostrar como é possível fazer semântica para linguagens proposicionais em ambientes categoriais que não sejam topos. Proponho a definição de dois tipos de categorias denominadas categorias com morfismos verdade (CTM) e proto-topos. Em categorias com morfismos verdad...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Universidade de Brasília
2018-12-01
|
| Series: | Revista de Filosofia Moderna e Contemporânea |
| Subjects: | |
| Online Access: | https://periodicos.unb.br/index.php/fmc/article/view/22103 |