Upper categories: