To complete the triangle (REF ), we recall a theorem first shown by P. Gabriel and F. Ulmer [1]}, establishing a contravariant equivalence between the 2-category \(\mathsf {LFP}\)  of locally finitely presentable categories and the 2-category \(\mathsf {Lex}\)  of categories with finite limits.
