Categories as models on a suitable algebraic theory

Abstract

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 $\mathfrak{G}r$-theories finitely presentable models are finitely presentable objects.

References in corpus (1)

• Notions of Lawvere theory