A duality relative to a limit doctrine

C. Centazzo and E.M. Vitale

We give a unified proof of Gabriel-Ulmer duality for locally
finitely presentable categories, Adamek-Lawvere-Rosicky
duality for varieties and Morita duality for presheaf categories.
As an application, we compare presheaf categories and varieties.