1 paper
Tomáš Perutka
The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere 2-theories, and more generally, (enhanc…