pedanterrific comments on Magical Categories

[pedanterrific]

Discussed here, there’s a few bits that might be useful.