|
|
|
|
|
by adolgert
4276 days ago
|
|
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. "Category theory, not always a total waste of time." (TM) |
|