Cut Elimination in Categories /

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 opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in p...

Full description

Bibliographic Details

Main Author:	Došen, Kosta
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1999.
Series:	Trends in Logic, Studia Logica Library ; 6.
Subjects:	Philosophy (General) Logic. Algebra > Data processing. Algebra. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book