An Introduction to Categorical Proof 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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-08
1. Verfasser:	Amirhossein Akbar Tabatabai
Format:	Artikel
Sprache:	eng
Schlagworte:	Topology
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!