An Introduction to Categorical Proof Theory
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915210377297920 |
|---|---|
| author | Tabatabai, Amirhossein Akbar |
| author_facet | Tabatabai, Amirhossein Akbar |
| contents | These expanded lecture notes are based on a tutorial on categorical proof theory presented at the summer school associated with the conference "Topology, Algebra, and Categories in Logic 2021-2022." The chapter delves into various applications of categorical methods in proof theory. It is designed to be accessible, with no prior familiarity with category theory required. The necessary categorical background is introduced gradually, with a focus on the philosophical and informal aspects of proof. The only prerequisites are a basic understanding of logic, computability theory, topology, and ordered structures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_09488 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | An Introduction to Categorical Proof Theory Tabatabai, Amirhossein Akbar Logic Logic in Computer Science Category Theory These expanded lecture notes are based on a tutorial on categorical proof theory presented at the summer school associated with the conference "Topology, Algebra, and Categories in Logic 2021-2022." The chapter delves into various applications of categorical methods in proof theory. It is designed to be accessible, with no prior familiarity with category theory required. The necessary categorical background is introduced gradually, with a focus on the philosophical and informal aspects of proof. The only prerequisites are a basic understanding of logic, computability theory, topology, and ordered structures. |
| title | An Introduction to Categorical Proof Theory |
| topic | Logic Logic in Computer Science Category Theory |
| url | https://arxiv.org/abs/2408.09488 |