How is [#17](https://forum.azimuthproject.org/discussion/comment/18836/#Comment_18836) not a preorder.

I presume that the unique category with a single object, \\(\star\\), and one morphism, \\(1_{\star}\\) is a preorder.

Is it because \\( f \neq 1_{\star} \\)?

Why does that matter?