4 citations · 5 across the 6 of their papers we have counts for
6 papers
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…
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…
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…
Flatness, weakly lex colimits, and free exact completions
Giacomo Tendas
We capture in the context of lex colimits, introduced by Garner and Lack, the universal property of the free regular and Barr-exact completions of a weakly lex category. This is do…
Notions of enriched purity
Jiří Rosický, Giacomo Tendas
We introduce enriched notions of purity depending on the left class of a factorization system on the base of enrichment. Ordinary purity is given by the c…
On continuity of accessible functors
Giacomo Tendas
We prove that for each locally -presentable category there exists a regular cardinal such that any -accessible functor out of (into another loca…