> I’m tempted to identify this construction with the codiscrete preorder on \\(S\\)

It’s similar to the codiscrete order I mention above for Bool-Catgeories. I would second that they are the same structure.