Michael Barr

Category Theory for Computing Science

Michael Barr & Charles Wells