Sorted categories