Allowing categories to have a structure