Books.md @master — view markup · raw · history · blame
Category Theory Books
Categories, types, and structures
- subtitle: an introduction to category theory for the working computer scientist
- authors: Andrea Asperti, Guiseppe Longo
- date: 1991
- online @ www.di.ens.fr
- borrow @ archive.org
.
Category Theory for Programmers
- authors: Bartosz Milewski
- date: 2014
- online @ bartoszmilewski.com
.