On stability of exactness properties under the pro-completion
PA Jacqmin, Z Janelidze - Advances in Mathematics, 2021 - Elsevier
… an exactness sequent with β a constructible subsketch inclusion and if F is an X -structure in
a category C , the functor β C : B C → A C restricts to a full and faithful functor β … surjective on …
a category C , the functor β C : B C → A C restricts to a full and faithful functor β … surjective on …
Flatness, weakly lex colimits, and free exact completions
G Tendas - Annali di Matematica Pura ed Applicata (1923-), 2024 - Springer
… -functor and prove some basic properties which will be used in Sect. 3, where we introduce
free \(\Phi \)-exact completions in … on why we need to consider the notion of \(\Phi \)-exactness …
free \(\Phi \)-exact completions in … on why we need to consider the notion of \(\Phi \)-exactness …
Right exact group completion as a transfinite invariant of homology equivalence
S Ivanov, R Mikhailov - Algebraic & Geometric Topology, 2021 - msp.org
… functors on the category of groups. Namely, we give several equivalent descriptions of right
exact functors on the … The exactness of the vertical left-hand sequence follows from the snake …
exact functors on the … The exactness of the vertical left-hand sequence follows from the snake …
Some general aspects of exactness and strong exactness of meets
MA Moshier, J Picado, A Pultr - Topology and its Applications, 2022 - Elsevier
… on closure-type operators on the frame C. In the latter case we learn, in particular, that a
distributive complete … Thus we have a contravariant functor Ω : Top → Frm , where Top is the …
distributive complete … Thus we have a contravariant functor Ω : Top → Frm , where Top is the …
[PDF][PDF] a review of On stability of exactness properties under the pro-completion by Jacqmin, Pierre-Alain; Janelidze, Zurab
西村泰一, ニシムラヒロカズ - zbMATH Open, 2021 - tsukuba.repo.nii.ac.jp
… finite limit preserving functors from C to Set. Many so-called exactness properties have been
… , Mal’tsev, coherent with finite products and so on. In some sense, the authors’ approach to …
… , Mal’tsev, coherent with finite products and so on. In some sense, the authors’ approach to …
On a Completion of Cohomological Functors Generalising Tate Cohomology I
M Gheorghiu - arXiv preprint arXiv:2405.03610, 2024 - arxiv.org
… Lastly, in Section 7, we outline how one can introduce completed Ext-functors and complete
… Because Mk is projective, it follows from the exactness of the above and from the definition …
… Because Mk is projective, it follows from the exactness of the above and from the definition …
Derived -categories as exact completions
G Stefanich - arXiv preprint arXiv:2310.12925, 2023 - arxiv.org
… the notion of exactness for (n,1)-categories. We show that the exact completion provides a
… We denote by Catreg the subcategory of Cat on the regular categories and regular functors. …
… We denote by Catreg the subcategory of Cat on the regular categories and regular functors. …
The exact completion for regular categories enriched in posets
V Aravantinos-Sotiropoulos - Journal of Pure and Applied Algebra, 2022 - Elsevier
… a natural universal property: every regular functor C → E into an … In this paper we look at the
notions of regularity and exactness … good on our claim, we need a preparatory result on the …
notions of regularity and exactness … good on our claim, we need a preparatory result on the …
On linear exactness properties
PA Jacqmin, Z Janelidze - Journal of Algebra, 2021 - Elsevier
… work on preservation of exactness properties by pro-completions, to prove that these exactness
… For any i ≠ j , we define the functor F i : A i → C to be the constant functor mapping each …
… For any i ≠ j , we define the functor F i : A i → C to be the constant functor mapping each …
Unstable -completion in motivic homotopy theory
K Mattis - arXiv preprint arXiv:2401.17848, 2024 - arxiv.org
… In Section 3, we will first construct the unstable p-completion functor on an arbitrary
presentable ∞-category X, and then show that if X is moreover an ∞-topos, then this …
presentable ∞-category X, and then show that if X is moreover an ∞-topos, then this …