In the previous talk we have introduced an internal notion of dimension in a category. In this talk we see how one can use “finite models” to recover the whole category of models abstractly. Our result is a technical improvement of the so-called Gabriel-Ulmer duality, which was developed for locally presentable categories. Our machinery is both enriched and works for more general notions of dimension. Based on arXiv:2009.10980.