Gabriel-Ulmer duality states that 2-categories $ \mathrm{Lex}$ (of small finitely complete categories and functors preserving finite limits) and $ \mathrm{LFP}$ (of locally finitely presentable categories and finitary right adjoints) are dual. This duality should be true in the setting of $ \infty$ -categories if we replace $ \mathrm{Lex}$ with the $ \infty$ -category of finitelyRead more