Source author record

Federico Campanini

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CT math.RA math.LO

Catalog footprint

Research overview

3works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Pretorsion theories in lextensive categories

We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders in a pretopos. Some examples are provided in the categories of topological spaces and of (small) categories.

preprint2022arXiv

The stable category of preorders in a pretopos I: general theory

In a recent article Facchini and Finocchiaro considered a natural pretorsion theory in the category of preordered sets inducing a corresponding stable category. In the present work we propose an alternative construction of the stable category of the category $\mathsf{PreOrd} (\mathbb C)$ of internal preorders in any coherent category $\mathbb C$ , that enlightens the categorical nature of this notion. When $\mathbb C$ is a pretopos we prove that the quotient functor from the category of internal preorders to the associated stable category preserves finite coproducts. Furthermore, we identify a wide class of pretoposes, including all $σ$ -pretoposes and all elementary toposes, with the property that this functor sends any short $\mathcal Z$ -exact sequences in $\mathsf{PreOrd} (\mathbb C)$ (where $\mathcal Z$ is a suitable ideal of trivial morphisms) to a short exact sequence in the stable category. These properties will play a fundamental role in proving the universal property of the stable category, that will be the subject of a second article on this topic.

preprint2022arXiv

The stable category of preorders in a pretopos II: the universal property

We prove that the stable category associated with the category $\mathsf{PreOrd}(\mathbb C)$ of internal preorders in a pretopos $\mathbb C$ satisfies a universal property. The canonical functor from $\mathsf{PreOrd}(\mathbb C)$ to the stable category $\mathsf{Stab}(\mathbb C)$ universally transforms a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$ into a classical torsion theory in the pointed category $\mathsf{Stab}(\mathbb C)$ . This also gives a categorical insight into the construction of the stable category first considered by Facchini and Finocchiaro in the special case when $\mathbb C$ is the category of sets.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.