activity
20052022
most citedForking independence from the categorical point of view

21 citations · 51 across the 8 of their papers we have counts for

collaborators

11 papers

math.CT2022

Fibrantly generated weak factorization systems

Sean Cox, Jiří Rosický

We prove that, assuming Vop\venka's principle, every small projectivity class in a locally presentable category is accessible.

math.CT2020

Are chain-complete posets co-wellpowered?

Jan Jurka, Jiří Rosický

We show that the category of chain-complete posets is nearly locally presentable, we give a characterization of strong epimorphisms, and we offer an alternative proof of co-wellpow…

math.CT2020

Remarks on combinatorial and accessible model categories

Jiří Rosický

Using full images of accessible functors, we prove some results about combinatorial and accessible model categories. In particular, we give an example of a weak factorization syste…

math.LO2018★ 21 cited

Forking independence from the categorical point of view

Michael Lieberman, Jiří Rosický, Sebastien Vasey

Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, c…

math.LO2017★ 8 cited

Internal sizes in -abstract elementary classes

Michael Lieberman, Jiří Rosický, Sebastien Vasey

Working in the context of -abstract elementary classes (-AECs) - or, equivalently, accessible categories with all morphisms monomorphisms - we examine the two natural notions…

math.LO2017★ 10 cited

Universal abstract elementary classes and locally multipresentable categories

Michael Lieberman, Jiří Rosický, Sebastien Vasey

We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multipresentable categories. We similarly give…