Wait a minute, are you secretly teaching us monoidal preorders [(co)-change of base](https://ncatlab.org/nlab/show/base+change)?

Edit: Actually no, I'm thinking of something else.