Mapeamentos e Conexões: Uma Axiomática Unificada para Estruturas
Fuente:
Zenodo
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Recurso digital |
| Publié: |
Zenodo
2025
|
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866901729898921984 |
|---|---|
| author | SÉRGIO DE ANDRADE, PAULO |
| author_facet | SÉRGIO DE ANDRADE, PAULO |
| contents | Este artigo investiga o desenvolvimento de uma axiomática unificada para as estruturas matemáticas, explorando as sinergias entre a Teoria das Categorias, a Álgebra Universal e a Teoria dos Modelos. A matemática moderna é caracterizada por uma vasta pluralidade de estruturas — grupos, anéis, espaços topológicos, reticulados, entre outras — cada uma definida por seu próprio conjunto de axiomas. Esta proliferação suscita a questão fundamental de saber se existe um meta-framework, uma linguagem comum, capaz de descrever e relacionar estas diversas estruturas de forma sistemática. Argumentamos que tal unificação é não só possível, mas essencial para uma compreensão mais profunda da própria natureza da matemática. A nossa metodologia é conceptual e baseia-se na análise comparativa destes três pilares da lógica e da álgebra abstrata. A Álgebra Universal oferece uma linguagem baseada em operações e equações para descrever classes de estruturas (variedades). A Teoria dos Modelos generaliza esta abordagem, relacionando teorias axiomáticas em lógicas formais com as estruturas que as satisfazem. Contudo, é a Teoria das Categorias que fornece o nível de abstração mais elevado, focando-se não nos elementos internos das estruturas, mas nos mapeamentos (morfismos) que preservam a estrutura entre elas. Neste trabalho, propomos que uma axiomática unificada emerge da síntese destes pontos de vista. As estruturas são concebidas como 'objetos' numa categoria, cujas propriedades internas podem ser descritas pela Álgebra Universal e pela Teoria dos Modelos, enquanto as suas inter-relações globais são governadas pelos 'morfismos'. Conceitos categoriais como propriedades universais, funtores e adjunções são apresentados como as ferramentas axiomáticas de um nível superior, capazes de definir construções canônicas (e.g., produtos, coprodutos, álgebras livres) de maneira uniforme através de diferentes domínios matemáticos. Concluímos que esta abordagem tripartida não apenas unifica a descrição das estruturas existentes, mas também fornece um poderoso motor para a descoberta de novas conexões e dualidades, revelando uma arquitetura conceptual subjacente a toda a matemática. |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17551597 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Mapeamentos e Conexões: Uma Axiomática Unificada para Estruturas SÉRGIO DE ANDRADE, PAULO Este artigo investiga o desenvolvimento de uma axiomática unificada para as estruturas matemáticas, explorando as sinergias entre a Teoria das Categorias, a Álgebra Universal e a Teoria dos Modelos. A matemática moderna é caracterizada por uma vasta pluralidade de estruturas — grupos, anéis, espaços topológicos, reticulados, entre outras — cada uma definida por seu próprio conjunto de axiomas. Esta proliferação suscita a questão fundamental de saber se existe um meta-framework, uma linguagem comum, capaz de descrever e relacionar estas diversas estruturas de forma sistemática. Argumentamos que tal unificação é não só possível, mas essencial para uma compreensão mais profunda da própria natureza da matemática. A nossa metodologia é conceptual e baseia-se na análise comparativa destes três pilares da lógica e da álgebra abstrata. A Álgebra Universal oferece uma linguagem baseada em operações e equações para descrever classes de estruturas (variedades). A Teoria dos Modelos generaliza esta abordagem, relacionando teorias axiomáticas em lógicas formais com as estruturas que as satisfazem. Contudo, é a Teoria das Categorias que fornece o nível de abstração mais elevado, focando-se não nos elementos internos das estruturas, mas nos mapeamentos (morfismos) que preservam a estrutura entre elas. Neste trabalho, propomos que uma axiomática unificada emerge da síntese destes pontos de vista. As estruturas são concebidas como 'objetos' numa categoria, cujas propriedades internas podem ser descritas pela Álgebra Universal e pela Teoria dos Modelos, enquanto as suas inter-relações globais são governadas pelos 'morfismos'. Conceitos categoriais como propriedades universais, funtores e adjunções são apresentados como as ferramentas axiomáticas de um nível superior, capazes de definir construções canônicas (e.g., produtos, coprodutos, álgebras livres) de maneira uniforme através de diferentes domínios matemáticos. Concluímos que esta abordagem tripartida não apenas unifica a descrição das estruturas existentes, mas também fornece um poderoso motor para a descoberta de novas conexões e dualidades, revelando uma arquitetura conceptual subjacente a toda a matemática. |
| title | Mapeamentos e Conexões: Uma Axiomática Unificada para Estruturas |
| url | https://doi.org/10.5281/zenodo.17551597 |