Gabriel-Ulmer duality for categories enriched in bicategories (Q1295729)

The authors continue their study of locally-presentable bicategory-enriched categories as begun in ``Enrichment through variation'' [\textit{R. Gordon} and \textit{A. J. Power}, J. Pure Appl. Algebra 120, No. 2, 167-185 (1997; Zbl 0881.18006)] to obtain the full generalized Gabriel-Ulmer duality as a biequivalence between 2-categories of models and theories. This involves dealing with weighted limits, strong generators, finite presentability, and other categorical concepts at the bicategory-enriched level.