Weakly $\omega$-Categorified Models of Algebraic Theories

From MaRDI portal
Publication:6343849