CTAN update: Category theory (commutative) diagrams