7 papers
Cellular generation revisited
Sean Cox, Mark Kamsma, JiÅà Rosický
Cellular generation, which generalises cofibrant generation, is an important categorical smallness condition on a class of morphisms. A general challenge is to determine whether a…
Cofibrant generation of pure monomorphisms in presheaf categories
Sean Cox, Jonathan Feigert, Mark Kamsma +2
We characterise when the pure monomorphisms in a presheaf category are cofibrantly generated in terms of the category . In particular, when…
Towards enriched universal algebra
JiÅà Rosický, Giacomo Tendas
Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment , we define a language $…
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…
Lifting independence along functors
Mark Kamsma, JiÅà Rosický
Given a functor and a model-theoretic independence relation on , we can lift that independence relation along to by…
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…