3 papers
math.CT2026
Isoregular theories, accessible 2-categories, and free constructions
Nicola Gambino, Giacomo Tendas
We introduce isoregular theories, in which it is possible to express existential quantification up to unique isomorphism, as typically used to characterise category-theoretic unive…
math.CT2025
Enriched positive logic
Jiří Rosický, Giacomo Tendas
Building on our previous work on enriched regular logic, we introduce an enriched version of positive logic and relate it to enriched cone-injectivity classes and enriched accessib…
math.CT2024
Enriched concepts of regular logic
Jiří Rosický, Giacomo Tendas
Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the ba…