Skip to main content
Source Link

Category Theory is deeply rooted in Computer Science.

A by now Classic book is:

Barr, Wells, "Category Theory for Computing Science", 1998.

I also know that software companies (in the Netherlands) apply it.

Post Made Community Wiki by Henk Koppelaar