{"id":"arxiv/2606.26717","url":"https://arxiv.org/abs/2606.26717","tags":["math.CT"],"score":0,"title":"Isoregular theories, accessible 2-categories, and free constructions","domain":"math.CT","source":"arxiv","authors":["Nicola Gambino","Giacomo Tendas"],"reviews":0,"subject":"math.CT","summary":"We introduce isoregular theories, in which it is possible to express existential quantification up to unique isomorphism, as typically used to characterise category-theoretic universal constructions, such as limits. We then develop a functorial semantics for isoregular theories and prove that their 2-categories of models are accessible with flexible limits. We apply these results by showing that a number of 2-categories of interest in general category theory, categorical algebra, and categorical logic are models of isoregular theories, thereby establishing that they are accessible…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-25","reactions":{}}