Categories in Given