Generalized sketches as a framework for completeness theorems (1997)

by M Makkai
Venue:Journal of Pure and Applied Algebra