Categories as models on a suitable algebraic theory

Kuerak Chung, Giovanni Marelli

We explain how categories, and groupoids, can be seen as models for a Lawvere $\mathfrak{G}r$-theory, where $\mathfrak{G}r$ is the category of graphs, and show that for Lawvere $…