Category Theory: Invariances and Symmetries in Computer Science - Majkic (IEEE, 2003)