The category {\bf Rel}({\bf Nom})

M. Haddadi, Kh. Keshvardoost, N. S. Razmara

The category $\mathrm{Rel}(\mathcal{C})$ may be formed for any category $\mathcal{C}$ with finite limits using the same objects as $\mathcal{C}$ but whose morphisms from $X$ to $Y$ ar…