Home Up Previous Next Random
A weak monoidal structure on a preorder \((X, \leq)\)
Definition is identical to a symmetric monoidal structure, replacing all \(=\) signs with \(\cong\) signs.