A two-dimensional Birkhoff's theorem

Matěj Dostál

Birkhoff's variety theorem from universal algebra characterises equational subcategories of varieties. We give an analogue of Birkhoff's theorem in the setting of enrichment in cat…