List of propositions for Categories