Categories produce ordering