Categorical doctrine related domains (6)