Category Theory for Programmers has been updated.