Category Theory for Programmers

Mastercourse, Technical University of Delft, Programming Languages Group, 1900