-
Homotopy torsion theories
Authors:
Sandra Mantovani,
Mariano Messora,
Enrico M. Vitale
Abstract:
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 arrow…
▽ More
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.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Visible-Light Assisted Covalent Surface Functionalization of Reduced Graphene Oxide Nanosheets with Arylazo Sulfones
Authors:
Lorenzo Lombardi,
Alessandro Kovtun,
Sebastiano Mantovani,
Giulio Bertuzzi,
Laura Favaretto,
Cristian Bettini,
Vincenzo Palermo,
Manuela Melucci,
Marco Bandini
Abstract:
We present an environmentally benign methodology for the covalent functionalization (arylation) of reduced graphene oxide (rGO) nanosheets with arylazo sulfones. A variety of tagged aryl units were conveniently accommodated at the rGO surface via visible light irradiation of suspensions of carbon nanostructured materials in aqueous media. Mild reaction conditions, absence of photosensitizers, func…
▽ More
We present an environmentally benign methodology for the covalent functionalization (arylation) of reduced graphene oxide (rGO) nanosheets with arylazo sulfones. A variety of tagged aryl units were conveniently accommodated at the rGO surface via visible light irradiation of suspensions of carbon nanostructured materials in aqueous media. Mild reaction conditions, absence of photosensitizers, functional group tolerance and high atomic fractions (XPS analysis) represent some of the salient features characterizing the present methodology. Control experiments for the mechanistic elucidation (Raman analysis) and chemical nanomanipulation of the tagged rGO surfaces are also reported.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
The third cohomology 2-group
Authors:
Alan S. Cigoli,
Sandra Mantovani,
Giuseppe Metere
Abstract:
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 corre…
▽ More
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.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
On pseudofunctors sending groups to 2-groups
Authors:
Alan S. Cigoli,
Sandra Mantovani,
Giuseppe Metere
Abstract:
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.
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.
△ Less
Submitted 2 June, 2022; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Fibred categorical theory of obstruction and classification of morphisms
Authors:
Alan S. Cigoli,
Sandra Mantovani,
Giuseppe Metere,
Enrico M. Vitale
Abstract:
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.
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.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
Novel EOSC Services for Space Challenges: The NEANIAS First Outcomes
Authors:
Eva Sciacca,
Mel Krokos,
Ugo Becciani,
Cristobal Bordiu,
Filomena Bufano,
Alessandro Costa,
Carmelo Pino,
Simone Riggi,
Fabio Vitello,
Carlos Brandt,
Angelo Rossi,
Eugenio Topa,
Simone Mantovani,
Laura Vettorello,
Thomas Cecconello,
Giuseppe Vizzari
Abstract:
The European Open Science Cloud (EOSC) initiative faces the challenge of develo** an agile, fit-for-purpose, and sustainable service-oriented platform that can address the evolving needs of scientific communities. The NEANIAS project plays an active role in the materialization of the EOSC ecosystem by actively contributing to the technological, procedural, strategic and business development of E…
▽ More
The European Open Science Cloud (EOSC) initiative faces the challenge of develo** an agile, fit-for-purpose, and sustainable service-oriented platform that can address the evolving needs of scientific communities. The NEANIAS project plays an active role in the materialization of the EOSC ecosystem by actively contributing to the technological, procedural, strategic and business development of EOSC. We present the first outcomes of the NEANIAS activities relating to co-design and delivery of new innovative services for space research for data management and visualization (SPACE-VIS), map making and mosaicing (SPACE-MOS) and pattern and structure detection (SPACE-ML). We include a summary of collected user requirements driving our services and methodology for their delivery, together with service access details and pointers to future works.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Discrete and conservative reflections of fibrations
Authors:
Alan S. Cigoli,
Sandra Mantovani,
Giuseppe Metere
Abstract:
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. T…
▽ More
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).
△ Less
Submitted 3 January, 2020; v1 submitted 24 September, 2019;
originally announced September 2019.
-
Galois theory and the categorical Peiffer commutator
Authors:
Alan S. Cigoli,
Arnaud Duvieusart,
Marino Gran,
Sandra Mantovani
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
Development of a Convex Programming Model for Optimal Power Flow Problems
Authors:
Mauro Viegas da Silva,
Mahdi Pourakbari-Kasmaei,
J. Roberto Sanches Mantovani
Abstract:
The optimal power flow (OPF) is an optimization model dedicated to the development of computational tools used for the planning and operation of electric power systems (EPS). In this work, based on the polar formulation, an extended convex model is presented. To do so, the sinusoidal and cosinusoidal terms are the toughest part of the convexification process, since such types of functions oscillat…
▽ More
The optimal power flow (OPF) is an optimization model dedicated to the development of computational tools used for the planning and operation of electric power systems (EPS). In this work, based on the polar formulation, an extended convex model is presented. To do so, the sinusoidal and cosinusoidal terms are the toughest part of the convexification process, since such types of functions oscillate between concave and convex. These functions are not initially convex, but there is a possibility of finding a convex underestimator (CU) for them. To obtain this CU, the Taylor series presents a good, however nonconvex, approximation for such trigonometric functions. Although the model remains nonconvex, these terms can be recast to the corresponding equivalent convex terms. The obtained convex model of the OPF is tested and analyzed using the IEEE 14-, 30-, 54-, and 118-bus test systems.
△ Less
Submitted 28 October, 2018; v1 submitted 18 October, 2018;
originally announced October 2018.
-
A Logic-Based Mixed-Integer Nonlinear Programming Model to Solve Non-Convex and Non-Smooth Economic Dispatch Problems: An Accuracy Analysis
Authors:
Mahdi Pourakbari-Kasmaei,
Mahmud Fotuhi-Firuzabad,
Jose Roberto Sanches Mantovani
Abstract:
This paper presents a solver-friendly logic-based mixed-integer nonlinear programming model (LB-MINLP) to solve economic dispatch (ED) problems considering disjoint operating zones and valve-point effects. A simultaneous consideration of transmission losses and logical constraints in ED problems causes difficulties either in the linearization procedure, or in handling via heuristic-based approache…
▽ More
This paper presents a solver-friendly logic-based mixed-integer nonlinear programming model (LB-MINLP) to solve economic dispatch (ED) problems considering disjoint operating zones and valve-point effects. A simultaneous consideration of transmission losses and logical constraints in ED problems causes difficulties either in the linearization procedure, or in handling via heuristic-based approaches, and this may result in outcome violation. The non-smooth terms can make the situation even worse. On the other hand, non-convex nonlinear models with logical constraints are not solvable using the existing nonlinear commercial solvers. In order to explain and remedy these shortcomings, we proposed a novel recasting strategy to overcome the hurdle of solving such complicated problems with the aid of the existing nonlinear solvers. The proposed model can facilitate the pre-solving and probing techniques of the commercial solvers by recasting the logical constraints into the mixed-integer terms of the objective function. It consequently results in a higher accuracy of the model and better computational efficiency. The acquired results demonstrated that the LB-MINLP model, compared to the existing (heuristic-based and solver-based) models in the literature, can easily handle the non-smooth and nonlinear terms and achieve an optimal solution much faster and without any outcome violation.
△ Less
Submitted 12 October, 2018; v1 submitted 5 October, 2018;
originally announced October 2018.
-
Enabling FAIR Research in Earth Science through Research Objects
Authors:
Andres Garcia-Silva,
Jose Manuel Gomez-Perez,
Raul Palma,
Marcin Krystek,
Simone Mantovani,
Federica Foglini,
Valentina Grande,
Francesco De Leo,
Stefano Salvi,
Elisa Trasati,
Vito Romaniello,
Mirko Albani,
Cristiano Silvagni,
Rosemarie Leone,
Fulvio Marelli,
Sergio Albani,
Michele Lazzarini,
Hazel J. Napier,
Helen M. Glaves,
Timothy Aldridge,
Charles Meertens,
Fran Boler,
Henry W. Loescher,
Christine Laney,
Melissa A Genazzio
, et al. (2 additional authors not shown)
Abstract:
Data-intensive science communities are progressively adopting FAIR practices that enhance the visibility of scientific breakthroughs and enable reuse. At the core of this movement, research objects contain and describe scientific information and resources in a way compliant with the FAIR principles and sustain the development of key infrastructure and tools. This paper provides an account of the c…
▽ More
Data-intensive science communities are progressively adopting FAIR practices that enhance the visibility of scientific breakthroughs and enable reuse. At the core of this movement, research objects contain and describe scientific information and resources in a way compliant with the FAIR principles and sustain the development of key infrastructure and tools. This paper provides an account of the challenges, experiences and solutions involved in the adoption of FAIR around research objects over several Earth Science disciplines. During this journey, our work has been comprehensive, with outcomes including: an extended research object model adapted to the needs of earth scientists; the provisioning of digital object identifiers (DOI) to enable persistent identification and to give due credit to authors; the generation of content-based, semantically rich, research object metadata through natural language processing, enhancing visibility and reuse through recommendation systems and third-party search engines; and various types of checklists that provide a compact representation of research object quality as a key enabler of scientific reuse. All these results have been integrated in ROHub, a platform that provides research object management functionality to a wealth of applications and interfaces across different scientific communities. To monitor and quantify the community uptake of research objects, we have defined indicators and obtained measures via ROHub that are also discussed herein.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
-
Fibered aspects of Yoneda's regular span
Authors:
Alan S. Cigoli,
Sandra Mantovani,
Giuseppe Metere,
Enrico M. Vitale
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
The snail lemma for internal groupoids
Authors:
S. Mantovani,
G. Metere,
E. M. Vitale
Abstract:
We establish a generalized form both of the Gabriel-Zisman exact sequence associated with a pointed functor between pointed groupoids, and of the Brown exact sequence associated with a fibration of pointed groupoids. Our generalization consists in replacing pointed groupoids with groupoids internal to a pointed regular category with reflexive coequalizers.
We establish a generalized form both of the Gabriel-Zisman exact sequence associated with a pointed functor between pointed groupoids, and of the Brown exact sequence associated with a fibration of pointed groupoids. Our generalization consists in replacing pointed groupoids with groupoids internal to a pointed regular category with reflexive coequalizers.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Bipullbacks of fractions and the snail lemma
Authors:
P. -A. Jacqmin,
S. Mantovani,
G. Metere,
E. M. Vitale
Abstract:
We establish conditions giving the existence of bipullbacks in bicategories of fractions. We apply our results to construct a $π_0$-$π_1$ exact sequence associated with a fractor between groupoids internal to a pointed exact category.
We establish conditions giving the existence of bipullbacks in bicategories of fractions. We apply our results to construct a $π_0$-$π_1$ exact sequence associated with a fractor between groupoids internal to a pointed exact category.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
On fibrations between internal groupoids
Authors:
P. -A. Jacqmin,
S. Mantovani,
G. Metere,
E. M. Vitale
Abstract:
In order to deduce the internal version of the Brown exact sequence from the internal version of the Gabriel-Zisman exact sequence, we characterize fibrations and $\ast$-fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. A similar analysis in the category of arrows allows us to give a characte…
▽ More
In order to deduce the internal version of the Brown exact sequence from the internal version of the Gabriel-Zisman exact sequence, we characterize fibrations and $\ast$-fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. A similar analysis in the category of arrows allows us to give a characterization of protomodular categories using strong homotopy kernels.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Peiffer product and Peiffer commutator for internal pre-crossed modules
Authors:
Alan S. Cigoli,
Sandra Mantovani,
Giuseppe Metere
Abstract:
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 <X,X> is trivial. Furthermore we provide s…
▽ More
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 <X,X> 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.
△ Less
Submitted 17 March, 2015;
originally announced March 2015.
-
On the magnetic monopole mass
Authors:
Vicente Vento,
Valentina Sarti Mantovani
Abstract:
Magnetic monopoles have been a subject of interest since Dirac established the relation between the existence of a monopole and charge quantization. 't Hooft and Polyakov proved that they can arise from gauge theories as the result of a non trivial topology. In their scheme the mass of the monopole turns out to be large proportional to the vector meson mass arising from the spontaneous breaking of…
▽ More
Magnetic monopoles have been a subject of interest since Dirac established the relation between the existence of a monopole and charge quantization. 't Hooft and Polyakov proved that they can arise from gauge theories as the result of a non trivial topology. In their scheme the mass of the monopole turns out to be large proportional to the vector meson mass arising from the spontaneous breaking of the symmetry at unification scales. To reduce from the GUT scale to the Standard Model scale we modify the potential in line with Coleman-Weinberg schemes and generate a second deeper minimum turning the original vacuum quantum mechanically unstable. This mechanism leads to radiating monopoles of lower mass which could be detected at LHC.
△ Less
Submitted 2 May, 2014; v1 submitted 18 June, 2013;
originally announced June 2013.
-
Butterflies in a Semi-Abelian Context
Authors:
Omar Abbad,
Sandra Mantovani,
Giuseppe Metere,
Enrico M. Vitale
Abstract:
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 "but…
▽ More
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).
△ Less
Submitted 21 April, 2011;
originally announced April 2011.
-
Normalities and Commutators
Authors:
Sandra Mantovani,
Giuseppe Metere
Abstract:
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 nor…
▽ More
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$.
△ Less
Submitted 8 February, 2010;
originally announced February 2010.
-
On closure operators and reflections in Goursat categories
Authors:
Francis Borceux,
Marino Gran,
Sandra Mantovani
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 6 December, 2007;
originally announced December 2007.