Aristotelian categories