A duality relative to a limit doctrine

Abstract

ABSTRACT. We give a unified proof of Gabriel-Ulmer duality for locally finitely presentable categories, Adámek-Lawvere-Rosick´y duality for varieties and Morita duality for presheaf categories. As an application, we compare presheaf categories and varieties. 1