Categories, proofs, and programs
Samson Abramsky, Nikos Tzevelekos
Logic and Computation (Introductory)
First week, from 17:00 to 18:30
Abstract
This course will develop the basic ideas of Category Theory, and explore its applications to the study of proofs in logic, and to the algebraic structure of programs and programming languages.