Showing 1–3 of 3 results for author: Jurka, J

An enriched small object argument over a cofibrantly generated base

Authors: Jan Jurka

Abstract: 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 argument that is enriched over a cofibrantly generated weak factorization system. This enriched variant of the small object argument subsumes the ordinary small object argument for categories and also certain variants of… ▽ More 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 argument that is enriched over a cofibrantly generated weak factorization system. This enriched variant of the small object argument subsumes the ordinary small object argument for categories and also certain variants of the small object argument for 2-categories, (2,1)-categories, dg-categories and simplicially enriched categories. △ Less

Submitted 22 May, 2025; v1 submitted 11 January, 2024; originally announced January 2024.

Comments: 35 pages

MSC Class: 18D20; 18N40

Journal ref: Theory and Applications of Categories, Vol. 44, 2025, No. 16, pp 439-473

Constructing spectra using cone injectivity

Authors: Jan Jurka, Tomáš Perutka, Lukáš Vokřínek

Abstract: 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, especially in locally finitely presentable categories. In its full generality, the spectrum functor fails to be fully faithful and we study reasonable sufficient conditions under which it is. Further, assuming the full faithfulne… ▽ More 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, especially in locally finitely presentable categories. In its full generality, the spectrum functor fails to be fully faithful and we study reasonable sufficient conditions under which it is. Further, assuming the full faithfulness, we introduce a generalization of another concept from algebraic geometry -- the functor of points -- and prove equivalence of the two resulting notions of schemes. △ Less

Submitted 4 December, 2023; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: minor changes - mainly just improved readability

Are chain-complete posets co-wellpowered?

Authors: Jan Jurka, Jiří Rosický

Abstract: 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-wellpoweredness. 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-wellpoweredness. △ Less

Submitted 16 June, 2025; v1 submitted 5 July, 2020; originally announced July 2020.

Comments: 8 pages, it corrects previous versions