4 ms·

This is what category theory attempts to do, except in an even more abstract sense, based on morphisms which generalise functions.

• klysm 4y ago
  And Bartosz is the guy for category theory and programming. Highly recommend his YouTube lectures and book on the subject.
  • mcphage 4y ago
    Which book is that? C++ in Action?
    • evandale 4y ago
      It may be this book: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p... If not, I recommend reading it.
      • mcphage 4y ago
        Thanks!
• bsedlm 4y ago
  is category theory mathematics or computer science? (why not both?)