>>689 Even Urs Schreiber approves of the /mg/ curriculum: https://nforum.ncatlab.org/discussion/15070/anisomorphism/?Focus=102597#Comment_102597