Related Books

Cut Elimination in Categories
Language: en
Pages: 240
Authors: K. Dosen
Categories: Philosophy
Type: BOOK - Published: 2013-04-18 - Publisher: Springer Science & Business Media

GET EBOOK

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as oppos
Normalization, Cut-elimination, and the Theory of Proofs
Language: en
Pages: 245
Authors: Anthony M. Ungar
Categories:
Type: BOOK - Published: 2000 - Publisher:

GET EBOOK

An Introduction to Proof Theory
Language: en
Pages: 431
Authors: Paolo Mancosu
Categories: Mathematics
Type: BOOK - Published: 2021 - Publisher: Oxford University Press

GET EBOOK

"Proof theory is a central area of mathematical logic of special interest to philosophy . It has its roots in the foundational debate of the 1920s, in particula
Coherence in Categories
Language: en
Pages: 247
Authors: Saunders Mac Lane
Categories: Mathematics
Type: BOOK - Published: 2006-11-15 - Publisher: Springer

GET EBOOK

Towards Higher Categories
Language: en
Pages: 292
Authors: John C. Baez
Categories: Algebra
Type: BOOK - Published: 2009-09-24 - Publisher: Springer Science & Business Media

GET EBOOK

The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory