[K=K]– category –