> I interpreted "any set" in John's problem statement to refer to all sets, not just the class of sets closed under our desired property.


If \\(\varnothing\\) is the only object with just one morphism, this category is the same as **Unit**.

You are right, it's a partial order, a total order, and also a complete lattice.