Isoregular theories, accessible 2-categories, and free constructions
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.26717
curl -X POST /api/v1/records/arxiv/2606.26717/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.26717/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'