Thank you so much for pointing that out. I was having trouble finding the category theory book but finding the Pi one by the same author everywhere!