Category Theory for Computing Science — Michael Barr, Charles Wells | Kutubxona