Category Theory for Computing Science

Book by Charles Wells and Michael Barr