1 citations · 1 across the 3 of their papers we have counts for
4 papers
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…
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…
Constructing spectra using cone injectivity
Jan Jurka, Tomáš Perutka, Lukáš Vokřínek
We provide a generalization of the construction of a spectrum of a commutative ring as a locally ringed space, applicable to cone injectivity classes in general contexts, especiall…
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…