MathOverflow Asked by Tim Campion on November 9, 2020
I’m interested in instances of the following data:
$C$ is a (possibly higher) category;
$(L,M)$ is a weak factorization system (wfs) on $C$;
$(M,R)$ is a unique factorization system (fs) on $C$.
Definition: I’ll call such data $(L,M,R)$ interlocking factorization systems on $C$ because the right half of the wfs coincides with the left half of the fs.
Examples:
On the 1-category $Set$ we have the $(Mono,Epi)$ wfs and the $(Epi,Mono)$ fs.
On the $infty$-category $Spaces$ we have (as discussed here) the $((n+1)text{-skel_r}, ntext{-conn})$ wfs and the $(ntext{-conn},ntext{-trunc})$ fs [1], for any $n in mathbb Z_{geq -2}$.
On the 1-category $Ch_{geq 0}(Rtext{-Mod})$, we have the $(text{acyclic mono with projective cokernel}, text{epi})$ wfs and the $(text{epi}, text{mono})$ fs, for any ring $R$.
Question 1: What are some other examples of the above data of "interlocking factorization systems"?
Observations:
If $(L,M,R)$ forms interlocking factorization systems on $C$, then $(M,R)$ is a modality (i.e. a fs with basechange-stable left class). Moreover, $M$ is closed under co-transfinite-composition. In fact, we might think of $(L,M,R)$ as being fundamentally a fs $(M,R)$ where $M$ satsifies some further closure conditions like these (though it’s not clear that there’s actually an equivalent formulation along these lines).
Dually, we might think of an interlocking factorization system $(L,M,R)$ on $C$ as being fundamentally a wfs $(L,M)$ where $M$ satisfies some further closure conditions (namely, cobase-change and colimits in the arrow category). If $C$ is locally presentable, then modulo checking that $M$ is accessibly embedded, this is actually an equivalent formulation.
Question 2: Given a class of morphisms $M$ in a ($infty$-)category $C$ (perhaps assumed to be locally presentable),
does knowing that $M$ is the left half of a fs $(M,R)$ in any way "simplify" the task of checking whether $M$ is the right half of a wfs $(L,M)$?
dually, does knowing that $M$ is the right half of a wfs $(L,M)$ imply anything interesting about whether $M$ is also the left half of a fs $(M,R)$?
Question 3: Are interlocking factorization systems just a curiosity, or is there anything special you can do with them? For instance, do they lead to some kind of obstruction theory?
[1] Here,
1 Asked on November 12, 2021 by user6671
1 Asked on November 12, 2021 by steven-obua
1 Asked on November 12, 2021 by a-k-a-teru-san
ca classical analysis and odes integration legendre polynomials special functions
1 Asked on November 12, 2021 by tobias-fritz
1 Asked on November 12, 2021 by spoilt-milk
dg differential geometry lie algebras riemannian geometry tensor calculus
0 Asked on November 12, 2021
0 Asked on November 12, 2021
ag algebraic geometry harmonic analysis langlands conjectures nt number theory
1 Asked on November 12, 2021
ag algebraic geometry arithmetic geometry p adic hodge theory
1 Asked on November 9, 2021 by vova
1 Asked on November 9, 2021 by grok
0 Asked on November 9, 2021
algebraic systems invariant theory lo logic model theory universal algebra
0 Asked on November 9, 2021 by user161444
0 Asked on November 9, 2021
algebraic number theory fields galois theory nt number theory number fields
0 Asked on November 9, 2021 by as1
ap analysis of pdes brownian motion pr probability stochastic differential equations stochastic processes
0 Asked on November 9, 2021 by makt
0 Asked on November 9, 2021 by mohsen-shahriari
0 Asked on November 9, 2021
1 Asked on November 9, 2021 by sadok-kallel
arithmetic groups at algebraic topology gt geometric topology lattices
3 Asked on November 9, 2021 by squid-with-black-bean-sauce
ra rings and algebras reference request soft question textbook recommendation
1 Asked on November 9, 2021
Get help from others!
Recent Questions
Recent Answers
© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP