Topology and Category Theory in Computer Science - Reed (Oxford University PressOxford University Press, 2023)