Category Theory: August 8