Categories in HEPHY - Institute for High Energy Physics