I saw a few apps on recognising just random math equations; worked well enough but couldn't do categories at all
in my head though categorical diagrams seem to be easier to classify than other things? I mean, if drawn OK they usually have pretty good structure, just some points in a lattice with labels, and arrows drawn between them with labels