Contributors to notes-math-categoryTheory