On localization and stabilization for factorization systems (Q1353439): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Aurelio Carboni / rank | |||
Property / author | |||
Property / author: George Janelidze / rank | |||
Property / author | |||
Property / author: Robert Paré / rank | |||
Property / reviewed by | |||
Property / reviewed by: John R. Isbell / rank | |||
Property / author | |||
Property / author: Aurelio Carboni / rank | |||
Normal rank | |||
Property / author | |||
Property / author: George Janelidze / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Robert Paré / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: John R. Isbell / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1008620404444 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1544470304 / rank | |||
Normal rank |
Latest revision as of 09:49, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On localization and stabilization for factorization systems |
scientific article |
Statements
On localization and stabilization for factorization systems (English)
0 references
24 June 1997
0 references
For any factorization system (\({\mathcal E}, {\mathcal M}\)) on a category \({\mathcal C}\), new classes of maps are defined as follows: \(f:A\rightarrow B\) is in \({\mathcal E}'\) if all of its pullbacks are in \({\mathcal E}\) (that is, it is stably in \({\mathcal E}\)); \(f\) is in \({\mathcal M}^*\) if some pullback of it along an effective descent map lies in \(\mathcal M\) (that is, it is \textit{locally} in \(\mathcal M\)). In many interesting cases, (\({\mathcal E}', {\mathcal M}^*\)) is another factorization system; the unique fill-in property always holds, but not all maps need factor as \(me\) with \(m\) in \({\mathcal M}^*\) and \(e\) in \({\mathcal E}'\). In particular, the monotone-light factorization in compact Hausdorff spaces, the factorization of a field extension as a purely inseparable extension of a separable extension; and various factorization systems associated with hereditary torsion theories on abelian categories arise in this way. ``Our chief aims are to give a necessary and sufficient condition, in terms of the factorization system (\(\mathcal E, \mathcal M\)), for (\({\mathcal E}', {\mathcal M}^*\)) to be a factorization system, and to work out in detail'' the indicated examples. ``At the same time we wish to point out the connection with Galois theory'' after \textit{G. Janelidze}, [in: Category Theory, Lect. Notes Math. 1488, 157-173 (1991; Zbl 0754.18002)]. Some of the Galois theories associated with these factorization systems are new, in particular the one corresponding to monotone-light factorization, which may be seen as a Galois theory for \(C^*\)-algebras. The authors have included much background material to make the paper largely self-contained.
0 references
factorization system
0 references
monotone-light factorization
0 references
hereditary torsion theories
0 references
Galois theory
0 references
localization
0 references
stabilization
0 references
descent theory
0 references
separable field extensions
0 references
purely inseparable field extensions
0 references