Math – math-is-categorical