We are exploring two cartesian closed categories, rich with structure: rank-ordered sets, and its subcategory kinds. Categorical language is used for a conceptual clarification and imagination of these structures.