Category Theory for Scientists