Category Theory for Computing Sciences by Barr and Wells