Categories in Neutrino Physics