arXiv subjects

Sandra Mantovani

Publications and source records attributed to Sandra Mantovani.

14 recordsLinked to original sources

arXiv2026

Pretorsion theories in prenormal categories

In this paper we extend several classical results on pointed torsion theories -- also known as torsion pairs -- to the setting of non-pointed torsion theories defined via kernels and cokernels relative to a fixed class of trivial objects (often referred to as pretorsion theories). Our results are developed in the recently introduced framework of (non-pointed) prenormal categories and other related contexts. Within these settings, we recover some characterisations of torsion and torsion-free subcategories, as well as the classical correspondences between torsion theories and closure operators. We also suitably extend a correspondence between torsion theories and (stable) factorisation systems on the ambient category, known in the homological case. Some of these results are then further specialised to an appropriate notion of hereditary torsion theory. Finally, we apply the developed theory to construct new examples of pretorsion theories.

math.CT↗

arXiv2026

Ideally regular categories

In this note, we propose a generalisation of G. Janelidze's notion of an ideally exact category beyond the Barr exact setting. We define an ideally regular category as a regular, Bourn protomodular category with finite coproducts in which the unique morphism 0 -> 1 is effective for descent. As in the ideally exact case, ideally regular categories support a notion of ideal that classifies regular quotients. Moreover, they admit a characterisation in terms of monadicity over a homological category (rather than a semi-abelian one, as in the exact setting). Examples include Bourn protomodular quasivarieties of universal algebra in which 0 -> 1 is effective for descent (such as the category of torsion-free unital rings), all Bourn protomodular topological varieties with at least one constant (such as topological rings), and all semi-localisations of ideally exact categories.

math.CT↗

arXiv2025

Prenormal categories

In this paper we introduce the notion of (pointed) prenormal category, modelled after regular categories, but with the key notions of coequaliser and kernel pair replaced by those of cokernel and kernel. This framework provides a natural setting for extending certain classical results in algebra. We study the fundamental properties of prenormal categories, including a characterisation in terms of a factorisation system involving normal epimorphisms, and a categorical version of Noether's so-called `third isomorphism theorem'. We also present a range of examples, with the category of commutative monoids constituting a central one. In the second part of the paper we extend prenormality and its related properties to the non-pointed context, using kernels and cokernels defined relative to a distinguished class of trivial objects.

math.CT↗

arXiv2023

Homotopy torsion theories

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in pre-pointed categories. Using the structure of nullhomotopies induced by the canonical string of adjunctions between a category A and the category Arr(A) of arrows, we give a new proof of the correspondence between orthogonal factorization systems in A and homotopy torsion theories in Arr(A), avoiding the request on the existence of pullbacks and pushouts in A. Moreover, such a correspondence is extended to weakly orthogonal factorization systems and weak homotopy torsion theories.

math.CT↗

arXiv2023

The third cohomology 2-group

In this paper we show that a finite product preserving opfibration can be factorized through an opfibration with the same property, but with groupoidal fibres. If moreover the codomain is additive, one can endow each fibre of the new opfibration with a canonical symmetric 2-group structure. We then apply such factorization to the opfibration that sends a crossed extension of a group C to its corresponding C-module. The symmetric 2-group structure so obtained on the fibres, defines the third cohomology 2-group of C, with coefficients in a C-module. We show that the usual third and second cohomology groups are recovered as its homotopy invariants. Furthermore, even if all results are presented in the category of groups, their proofs are valid in any strongly protomodular semi-abelian category, once one adopts the corresponding internal notions.

math.CT↗

arXiv2022

On pseudofunctors sending groups to 2-groups

For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups to 2-groups. If B is additive, this is the case precisely when the corresponding opfibration has groupoidal fibres.

math.CT↗

arXiv2021

Fibred categorical theory of obstruction and classification of morphisms

We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further applications are provided, as for example a classification of unital associative algebra extensions with non-abelian kernel in terms of Hochschild cohomology.

math.CT↗

arXiv2020

Discrete and conservative reflections of fibrations

We focus on two factorization systems for opfibrations in the 2-category Fib(B) of fibrations over a fixed base category B. The first one is the internal version of the so called comprehensive factorization, where the right orthogonal class is given by internal discrete opfibrations. The second one has as its right orthogonal class internal opfibrations in groupoids, i.e. with groupoidal fibres. These factorizations can be obtained by means of a single step 2-colimit. Namely, their left orthogonal parts are nothing but suitable coidentifiers and coinverters respectively. We will show how these results follow from their analogues in Cat. To this end, we first provide suitable conditions on a 2-category C, allowing the transfer of the construction of coinverters and coidentifiers from C to Fib(B).

math.CT↗

arXiv2019

Galois theory and the categorical Peiffer commutator

We show that the Peiffer commutator previously defined by Cigoli, Mantovani and Metere can be used to characterize central extensions of precrossed modules with respect to the subcategory of crossed modules in any semi-abelian category satisfying an additional property. We prove that this commutator also characterizes double central extensions, obtaining then some Hopf formulas for the second and third homology objects of internal precrossed modules.

math.CT↗

arXiv2018

Fibered aspects of Yoneda's regular span

In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category $\mathsf{Fib}(\mathcal{A})$. We study the relationship between these notions and those of internal opfibration and two-sided fibration. This fibrational point of view makes it possible to interpret Yoneda's Classification Theorem given in his 1960 paper as the result of a canonical factorization, and to extend it to a non-symmetric situation, where the fibration given by the product projection $Pr_0 \colon \mathcal{A} \times \mathcal{B} \to \mathcal{A}$ is replaced by any split fibration over $\mathcal{A}$. This new setting allows us to transfer Yoneda's theory of extensions to the non-additive analog given by crossed extensions for the cases of groups and other algebraic structures.

math.CT↗

arXiv2015

Peiffer product and Peiffer commutator for internal pre-crossed modules

In this work we introduce the notions of Peiffer product and Peiffer commutator of internal pre-crossed modules over a fixed object B, extending the corresponding classical notions to any semi-abelian category C. We prove that, under mild additional assumptions on C, crossed modules are characterized as those pre-crossed modules X whose Peiffer commutator is trivial. Furthermore we provide suitable conditions on C (fulfilled by a large class of algebraic varietes, including among others groups, associative algebras, Lie and Leibniz algebras) under which the Peiffer product realizes the coproduct in the category of crossed modules over B.

math.CT↗

arXiv2011

Butterflies in a Semi-Abelian Context

It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp with respect to weak equivalences. Monoidal functors can be described equivalently by a kind of weak morphisms introduced by B. Noohi under the name of "butter ies". In order to internalize monoidal functors in a wide context, we introduce the notion of internal butterflies between internal crossed modules in a semi-abelian category C, and we show that they are morphisms of a bicategory B(C): Our main result states that, when in C the notions of Huq commutator and Smith commutator coincide, then the bicategory B(C) of internal butterflies is the bicategory of fractions of Grpd(C) with respect to weak equivalences (that is, internal functors which are internally fully faithful and essentially surjective on objects).

math.CT↗

arXiv2010

Normalities and Commutators

We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of this commutator. Our main result is to extend to any semi-abelian category the following well-known characterization of normal subgroups: a subobject $K$ is normal in $A$ if, and only if, $[A,K]\leq K$.

math.CT↗

arXiv2007

On closure operators and reflections in Goursat categories

By defining a closure operator on effective equivalence relations in a regular category $C$, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories $L$ of $C$. When $C$ is an exact Goursat category this correspondence restricts to a bijection between the Birkhoff closure operators on effective equivalence relations and the Birkhoff subcategories of $C$. In this case it is possible to provide an explicit description of the closure, and to characterise the congruence distributive Goursat categories.

math.CT↗