范畴证明理论导论
An Introduction to Categorical Proof Theory
AI总结：
本文是基于2021-2022年逻辑领域相关会议暑期学校教程扩充的范畴证明理论讲义，无需范畴论基础，仅需基础逻辑等知识，逐步引入范畴背景，探讨范畴方法在证明理论中的应用，侧重证明的哲学与非形式层面。
摘要：
这些扩充后的讲义基于在“2021-2022年逻辑中的拓扑、代数与范畴”会议配套暑期学校上讲授的范畴证明理论教程。本章深入探讨了范畴方法在证明理论中的各类应用。内容设计通俗易懂，不要求读者预先具备范畴论知识。所需的范畴背景知识会逐步引入，重点聚焦于证明的哲学层面与非形式化层面。仅要求读者具备逻辑学、可计算性理论、拓扑学和序结构的基础知识。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
