You might also find the work of David I. Spivak (no relation to the _Calculus on Manifolds_ Spivak) helpful in this endeavor.
John Baez (who is distantly related to Joan Baez, if memory serves) has also written a lot of introductory category theory and applied category theory.