Categorial propositions