PreprintCC0arXiv
Gabriel--Zisman Localizations, Products, Coproducts, and Product Categories
Abstract
This paper studies (co)products and additive structures under Gabriel--Zisman localization Q:πβΆπ[Sβ1]. Examples show that localization may destroy existing (co)products or fail to preserve (co)products that remain, even when Q is additive. For a set-indexed family (πi,Si)iβ I, necessary and sufficient conditions are given for the canonical functor (βiβ Iπi)[(βiβ ISi)β1]βΆβiβ Iπi[Siβ1] to be full or faithful. These criteria yield compatibility with I-indexed (co)products for localizations admitting a calculus of fractions or arising from model categories, provided the relevant (co)products exist and the designated classes of morphisms are closed under them.
Related
- Presentability of categories of localizations and analytic rings
- Gabriel Spectrum of Persistence Categories
- Grothendieck Rings of Module Categories: Localizations, Strata, and Radicals
- Ternary semi-direct products in semi-abelian categories
- Diagrams for Roots and Quiver Representations in the context of the Gabriel-Kac Theorem
BibTeX
@misc{zhang2026gabrielzisman,
title = {{Gabriel--Zisman Localizations, Products, Coproducts, and Product Categories}},
author = {Chencheng Zhang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.18617},
eprint = {2609.18617},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.18617},
note = {CC0},
}
RIS
TY - UNPB
TI - Gabriel--Zisman Localizations, Products, Coproducts, and Product Categories
AU - Chencheng Zhang
PY - 2026
DA - 2026/09/16
PB - arXiv
DO - 10.48550/arxiv.2609.18617
UR - https://arxiv.org/abs/2609.18617
AB - This paper studies (co)products and additive structures under Gabriel--Zisman localization Q:πβΆπ[S^β1]. Examples show that localization may destroy existing (co)products or fail to preserve (co)products that remain, even when Q is additive. For a set-indexed family (π_i,S_i)_iβ I, necessary and sufficient conditions are given for the canonical functor (β_iβ Iπ_i)[(β_iβ IS_i)^β1]βΆβ_iβ Iπ_i[S_i^β1] to be full or faithful. These criteria yield compatibility with I-indexed (co)products for localizations admitting a calculus of fractions or arising from model categories, provided the relevant (co)products exist and the designated classes of morphisms are closed under them.
ER -