Mathematicians and computer scientists have been investigating theoretical aspects of software engineering through the lens of category theory. Many universities have begun to introduce category theory in graduate-level computer science courses.

Continue