Category Theory for Computing Science

by Barr and Wells