Category Theory for Scientists (MIT 18.S996)