ぶっちゃけ必ずしもcategoryが
集合だと思う必要もあまり無いんじゃないかと思うけどね。