This online lecture series explores real-world applications of category theory. Category theory provides a framework in which to organize formal systems and by which to translate between them.
|Instructor:||Dr. David I. Spivak|
How do you like the course 'Applied Category Theory'?