On monoids in the category of sets and relations

Anna Jenčová, Gejza Jenča

The category $\mathbf{Rel}$ is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, $\mathbf{Rel}$ is a monoidal category. Moreover,…