Hard to evaluate just by a quick glance, but looks promising, thanks for posting! I’ll just drop some more category theory resources here for those interested:

• Baez & Stay 2009, “Physics, Topology, Logic and Computation: A Rosetta Stone’ (a brief but detailed overview)
• Fong & Spivak 2017, “Seven Sketches in Compositionality: Invitation to Applied Category Theory”
• Spivak 2014, “Category Theory for the Sciences”
• The n-Category Cafe