Categories in Holmes