David I. Spivak
The goal of this class is to prove that category theory is a powerful language for understanding and formalizing common scientific models. The power of the language will be tested by its ability to penetrate into taken-for-granted ideas, either by exposing existing weaknesses or flaws in our understanding, or by highlighting hidden commonalities across scientific fields.
Spivak, David. 18.S996 Category Theory for Scientists, Spring 2013. (MIT OpenCourseWare: Massachusetts Institute of Technology), http://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for-scientists-spring-2013 (Accessed). License: Creative Commons BY-NC-SA