I found this book (Category Theory for the Sciences by David I. Spivak.) And I was wondering if it would be any useful for electrical and computer engineers in particular.

  • 2
    $\begingroup$ I would say it mostly depends on what you want to do with it. As a general remark, proofs driven by category theory results are often called "abstract nonsense." If mathematicians call category theory "abstract nonsense," it's possible that studying it in any depth won't be of much use to an engineer. On the other hand, functional programming, from what I understand, is basically applied category theory. $\endgroup$ – Charles Hudgins Jan 19 at 17:05
  • 2
    $\begingroup$ You might find this post from the CS SE helpful. $\endgroup$ – Ben Grossmann Jan 19 at 17:39
  • $\begingroup$ Short answer: No. Long answer: It is just as useful (useless) as learning Lojban, because category theory is nothing more than a very specialized language that makes it easier to talk about certain abstract mathematical structures that are almost completely irrelevant to applied mathematics. @CharlesHudgins: Functional programming has nothing to do with category theory, and knowing category theory does not help one to learn functional programming in any way. $\endgroup$ – user21820 Jan 20 at 3:15
  • 1
    $\begingroup$ I think category theory is a great tool to know about since it can really reshape your way of thinking, however it takes time and effort, and might be very far fetched to relate it to concrete problems. Actually understanding already existing science under the new scope of category theory is an active field of research (in which Spivak works). So if you are looking for direct ways to solve problems you don't know how to solve, the answer is probably no, but if you are looking for a new understanding and alternative approach to your problems, the answer should be yes $\endgroup$ – Thibaut Benjamin Jan 20 at 10:54
  • 2
    $\begingroup$ And by the way, category theory does have extremely strong connection with functional programming, even though it is a bit less direct than just "applied" category theory. There are a ton of resources about this topic, like Milewski's blog, or a course given at MIT by Spivak, Fong and Milewski, whose classes are available on youtube $\endgroup$ – Thibaut Benjamin Jan 20 at 10:56