thanks one of the delights is the current rage of applications of category theory to mathematical physics - of all things!! but it's particularly crucial there to emphasize the useful and not be too pedantic about max generality anybody there interested in the relevant physics Patera et al are one step removed =======================