3 papers
math.CT2025
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.CT2025
An enriched small object argument over a cofibrantly generated base
Jan Jurka
The small object argument is a method for transfinitely constructing weak factorization systems originally motivated by homotopy theory. We establish a variant of the small object…
cs.LO2024
Algebraic Reasoning over Relational Structures
Jan Jurka, Stefan Milius, Henning Urbat
Many important computational structures involve an intricate interplay between algebraic features (given by operations on the underlying set) and relational features (taking accoun…