一吾輩は猫である。もう少し丁寧に言うと吾輩は猫というカテゴリーに属している。さらに厳密に言うと吾輩→猫というカテゴリーに属しているのであって猫というカテゴリーに属している→吾輩ではない。つまり吾輩と猫は同値ではないし吾輩と猫というカテゴリー…