fixed category uniqueness