TIL: “categorical”は「明確な」「無条件の」といった意味がある。論理学では“categorical proposition”は「全てのXはYだ/でない」や「あるXはYだ/でない」など、あるカテゴリーのものがある性質を満たす/満たさないという形の命題を指す。圏論的という意味ではない。