And for the practicing computer scientist, category theory provides a single structure suitable for expressing linear control theory, automata, and more: Arbib, Michael A., and Ernest G. Manes. "Machines in a category: An expository introduction." SIAM review 16.2 (1974): 163-192.<p>"Category theory, not always a total waste of time." (TM)