Honestly i had to read your post 3 times and think about it for over an hour before realizing that it was off.

But yes you have it right now. \$$\mathbf{Preord}\$$ is not a preorder. For example there are 6 different monotonic functions from \$$\mathbf{2}\$$ to \$$\mathbf{3}\$$.