A Duality Relative To A Limit Doctrine

Abstract

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