arXiv++ Combinatorics

We say that a category $\mathscr{D}$ is dimension zero over a field $F$ provided that every finitely generated representation of $\mathscr{D}$ over $F$ is finite length. We show that $\textrm{Rel}(R)$, a category that arises naturally from a finite idempotent semiring $R$, is dimension zero over any infinite field. One special case of this result is that $\textrm{Rel}$, the category of finite sets with relations, is dimension zero over any infinite field.