5 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…
Positive Logic: An Introduction for Model Theorists
Mark Kamsma
Positive logic is a generalisation of full first-order logic that does not have negation built in. Still, many model-theoretic ideas, tools and techniques work perfectly fine in po…
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…
Unstable independence from the categorical point of view
Mark Kamsma, JiÅà Rosický
We give a category-theoretic construction of simple and NSOP-like independence relations in locally finitely presentable categories, and in the more general locally finitely mu…