English

What is the spectral category?

Category Theory 2022-01-04 v3 Rings and Algebras

Abstract

For a category C\mathcal{C} with finite limits and a class S\mathcal{S} of monomorphisms in C\mathcal{C} that is pullback stable, contains all isomorphisms, is closed under composition, and has the strong left cancellation property, we use pullback stable S\mathcal{S}-essential monomorphisms in C\mathcal{C} to construct a spectral category Spec(C,S)\mathrm{Spec}(\mathcal{C},\mathcal{S}). We show that it has finite limits and that the canonical functor CSpec(C,S)\mathcal{C}\to \mathrm{Spec}(\mathcal{C},\mathcal{S}) preserves finite limits. When C\mathcal{C} is a normal category, assuming for simplicity that S\mathcal{S} is the class of all monomorphisms in C\mathcal{C}, we show that pullback stable S\mathcal{S}-essential monomorphisms are the same as what we call subobject-essential monomorphisms.

Keywords

Cite

@article{arxiv.1903.10034,
  title  = {What is the spectral category?},
  author = {María José Arroyo Paniagua and Alberto Facchini and Marino Gran and George Janelidze},
  journal= {arXiv preprint arXiv:1903.10034},
  year   = {2022}
}

Comments

14 pages, the introduction has been changed

R2 v1 2026-06-23T08:17:32.894Z