Limites e Colimites Dependentes: Fundamentos para uma Teoria da Coerência
Fuente:
Zenodo
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Veröffentlicht: |
Zenodo
2025
|
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866901908309934080 |
|---|---|
| author | SÉRGIO DE ANDRADE, PAULO |
| author_facet | SÉRGIO DE ANDRADE, PAULO |
| contents | Este artigo explora os conceitos de limites e colimites dependentes como a base para uma teoria geral da coerência em matemática, particularmente no âmbito da teoria das categorias. Partindo dos problemas clássicos de coerência, como o teorema de Mac Lane para categorias monoidais, que afirma que "todos os diagramas relevantes comutam", argumentamos que uma formalização robusta e generalizável de tais enunciados requer uma maquinaria que lide explicitamente com estruturas parametrizadas. A metodologia adotada é a reinterpretação de problemas de coerência no arcabouço das categorias fibradas, que fornecem a semântica natural para a teoria dos tipos dependentes. Definimos limites e colimites dependentes como construções universais sobre diagramas indexados por uma categoria de base, cujos objetos e morfismos variam de acordo com os parâmetros. Demonstramos, através de uma análise detalhada do teorema de Mac Lane, como esta perspectiva unifica diversos resultados de coerência, tratando-os não como casos isolados, mas como instâncias de um único princípio: a preservação de limites dependentes por um funtor semântico. O resultado central é a formulação de um "meta-teorema" de coerência, que estabelece que a comutatividade de diagramas canônicos numa estrutura algébrica é equivalente à existência e unicidade de um cone dependente universal. Concluímos que a linguagem dos limites e colimites dependentes oferece um avanço conceitual, proporcionando um fundamento rigoroso e elegante para a noção de coerência que se estende naturalmente para a teoria das categorias superiores e a lógica categórica. |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17492392 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Limites e Colimites Dependentes: Fundamentos para uma Teoria da Coerência SÉRGIO DE ANDRADE, PAULO Este artigo explora os conceitos de limites e colimites dependentes como a base para uma teoria geral da coerência em matemática, particularmente no âmbito da teoria das categorias. Partindo dos problemas clássicos de coerência, como o teorema de Mac Lane para categorias monoidais, que afirma que "todos os diagramas relevantes comutam", argumentamos que uma formalização robusta e generalizável de tais enunciados requer uma maquinaria que lide explicitamente com estruturas parametrizadas. A metodologia adotada é a reinterpretação de problemas de coerência no arcabouço das categorias fibradas, que fornecem a semântica natural para a teoria dos tipos dependentes. Definimos limites e colimites dependentes como construções universais sobre diagramas indexados por uma categoria de base, cujos objetos e morfismos variam de acordo com os parâmetros. Demonstramos, através de uma análise detalhada do teorema de Mac Lane, como esta perspectiva unifica diversos resultados de coerência, tratando-os não como casos isolados, mas como instâncias de um único princípio: a preservação de limites dependentes por um funtor semântico. O resultado central é a formulação de um "meta-teorema" de coerência, que estabelece que a comutatividade de diagramas canônicos numa estrutura algébrica é equivalente à existência e unicidade de um cone dependente universal. Concluímos que a linguagem dos limites e colimites dependentes oferece um avanço conceitual, proporcionando um fundamento rigoroso e elegante para a noção de coerência que se estende naturalmente para a teoria das categorias superiores e a lógica categórica. |
| title | Limites e Colimites Dependentes: Fundamentos para uma Teoria da Coerência |
| url | https://doi.org/10.5281/zenodo.17492392 |