Showing 1–17 of 17 results for author: Pérez, M A

Gorenstein categories relative to G-admissible triples

Authors: Sergio Estrada, Octavio Mendoza, Marco A. Pérez

Abstract: We present the notion of Gorenstein categories relative to G-admissible triples. This is a relativization of the concept of Gorenstein category (an abelian category with enough projective and injective objects, in which the suprema of the sets $\{ {\rm pd}(I) \ \text{:} \ I \text{ is injective} \}$ and $\{ {\rm id}(P) \ \text{:} \ P \text{ is projective} \}$ are finite). Such categories turn out t… ▽ More We present the notion of Gorenstein categories relative to G-admissible triples. This is a relativization of the concept of Gorenstein category (an abelian category with enough projective and injective objects, in which the suprema of the sets $\{ {\rm pd}(I) \ \text{:} \ I \text{ is injective} \}$ and $\{ {\rm id}(P) \ \text{:} \ P \text{ is projective} \}$ are finite). Such categories turn out to be a suitable setting on which it is possible to obtain hereditary abelian model structures where the (co)fibrant objects are Gorenstein injective (resp., Gorenstein projective) objects relative to GI-admissible (resp., GP-admissible) pairs. Applications and examples of these structures are given. Moreover, we link relative Gorenstein categories with tilting theory and obtain relations between different relative homological dimensions. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Comments: 49 pages

MSC Class: 16E65; 18E10; 14F06; 18G20; 18N40

Corrigendum to "$m$-Periodic Gorenstein objects" [J. Algebra 621 (2023)]

Authors: Mindy Y. Huerta, Octavio Mendoza, M. A. Pérez

Abstract: Let $(\mathcal{A,B})$ be a GP-admissible pair and $(\mathcal{Z,W})$ be a GI-admissible pair of classes of objects in an abelian category $\mathcal{C}$, and consider the class $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ of $1$-periodic $(ω,\mathcal{B})$-Gorenstein projective objects, where $ω:= \mathcal{A} \cap \mathcal{B}$ and $ν:= \mathcal{Z} \cap \mathcal{W}$. We claimed in \cite[Lem. 8.1]{HMP2023m} tha… ▽ More Let $(\mathcal{A,B})$ be a GP-admissible pair and $(\mathcal{Z,W})$ be a GI-admissible pair of classes of objects in an abelian category $\mathcal{C}$, and consider the class $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ of $1$-periodic $(ω,\mathcal{B})$-Gorenstein projective objects, where $ω:= \mathcal{A} \cap \mathcal{B}$ and $ν:= \mathcal{Z} \cap \mathcal{W}$. We claimed in \cite[Lem. 8.1]{HMP2023m} that the $(\mathcal{Z,W})$-Gorenstein injective dimension of $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ is bounded by the $(\mathcal{Z,W})$-Gorenstein injective dimension of $ω$, provided that: (1) $ω$ is closed under direct summands, (2) $\mathrm{Ext}^1(π\mathcal{GP}_{(ω,\mathcal{B},1)},ν) = 0$, and (3) every object in $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ admits a $\mathrm{Hom}(-,ν)$-acyclic $ν$-coresolution. These conditions are their duals are part of what we called ``Setup 1''. Moreover, if we replace $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ by the class $\mathcal{GP}_{(\mathcal{A,B})}$ of $(\mathcal{A,B})$-Gorenstein projective objects, the resulting inequality is claimed to be true under a set of conditions named ``Setup 2''. The proof we gave for the claims $\mathrm{Gid}_{(\mathcal{Z,W})}(π\mathcal{GP}_{(ω,\mathcal{B},1)}) \leq \mathrm{Gid}_{(\mathcal{Z,W})}(ω)$ and $\mathrm{Gid}_{(\mathcal{Z,W})}(\mathcal{GP}_{(\mathcal{A,B})}) \leq \mathrm{Gid}_{(\mathcal{Z,W})}(ω)$ is incorrect, and the purpose of this note is to exhibit a corrected proof of the first inequality, under the additional assumption that every object in $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ has finite injective dimension relative to $\mathcal{Z}$. Setup 2 is no longer required, and as a result the second inequality was removed. We also fix those results in §\ 8 of \cite{HMP2023m} affected by Lemma 8.1, and comment some applications and examples. △ Less

Submitted 13 January, 2024; originally announced March 2024.

Comments: 10 pages. arXiv admin note: text overlap with arXiv:2207.00075

MSC Class: 18G25 (Primary) 18G10; 18G20; 16E65 (Secondary)

Modeling Global Levelized Cost of Hydrogen Production Considering Country-Specific Investment Risks

Authors: Stephan Kigle, Tapio Schmidt-Achert, Miguel Ángel Martínez Pérez

Abstract: Hydrogen is central to the global energy transition when produced at low emissions. This paper introduces a renewable hydrogen production system model (HPSM) that optimizes a hybrid hydrogen production system (HPS) on a worldwide 50x50 km grid, considering country-specific interest rates. Besides the renewable energy's impact on the HPS design, we analyze the effect of country-specific interest ra… ▽ More Hydrogen is central to the global energy transition when produced at low emissions. This paper introduces a renewable hydrogen production system model (HPSM) that optimizes a hybrid hydrogen production system (HPS) on a worldwide 50x50 km grid, considering country-specific interest rates. Besides the renewable energy's impact on the HPS design, we analyze the effect of country-specific interest rates on the levelized cost of hydrogen (LCOH) production. LCOH production ranges between 2.7 Euro/kg and 28.4 Euro/kg, with an average of 9.1 Euro/kg. Over one third (40.0%) of all cells have an installed PV capacity share between 50% and 70%, and 76.4% have a hybrid configuration. Hybrid HPSs can significantly reduce the LCOH production compared to non-hybrid designs, whereas country-specific interest rates lead to significant increases in the LCOH production. Hydrogen storage is deployed rather than battery storage to balance production and demand. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 32 pages, 14 figures, submitted to International Journal of Hydrogen Energy

Homological and homotopical aspects of Gorenstein flat modules and complexes relative to duality pairs

Authors: Víctor Becerril, Marco A. Pérez

Abstract: We study homological and homotopical aspects of Gorenstein flat modules over a ring with respect to a duality pair $(\mathcal{L,A})$. These modules are defined as cycles of exact chain complexes with components in $\mathcal{L}$ which remain exact after tensoring by objects in… ▽ More We study homological and homotopical aspects of Gorenstein flat modules over a ring with respect to a duality pair $(\mathcal{L,A})$. These modules are defined as cycles of exact chain complexes with components in $\mathcal{L}$ which remain exact after tensoring by objects in $\mathcal{A} \cap {}^\perp\mathcal{A} = \mathcal{A} \cap \Big( \bigcap_{i \in \mathbb{Z}_{> 0}} {\rm Ker}({\rm Ext}^i_{R^{\rm o}}(-,\mathcal{A})) \Big)$. In the case where $(\mathcal{L,A})$ is product closed and bicomplete (meaning in addition that $\mathcal{L}$ is closed under extensions, (co)products, $R \in \mathcal{L}$, $(\mathcal{A,L})$ is also a duality pair, and $\mathcal{A}$ is the right half of a hereditary complete cotorsion pair) we prove that these relative Gorenstein flat modules are closed under extensions, and that the corresponding Gorenstein flat dimension is well behaved in the sense that it recovers many of the properties and characterizations of its (absolute) Gorenstein flat counterpart (for instance, it can be described in terms of torsion functors). The latter in turn is a consequence of a Pontryagin duality relation that we show between these relative Gorenstein flat modules and certain Gorenstein injective modules relative to $\mathcal{A}$. We also find several hereditary and cofibrantly generated abelian model structures from these Gorenstein flat modules and complexes relative to $(\mathcal{L,A})$. At the level of chain complexes, we find three recollements between the homotopy categories of these model structures, along with several derived adjunctions connecting these recollements. △ Less

Submitted 11 March, 2024; v1 submitted 20 October, 2022; originally announced October 2022.

Comments: Some homotopical aspects concerning model structures were added. Some corrections were made and new examples were included

$m$-periodic Gorenstein objects

Authors: Mindy Huerta, Octavio Mendoza, Marco A. Pérez

Abstract: We present and study the concept of $m$-periodic Gorenstein objects relative to a pair $(\mathcal{A,B})$ of classes of objects in an abelian category, as a generalization of $m$-strongly Gorenstein projective modules over associative rings. We prove several properties in some cases where $(\mathcal{A,B})$ satisfies certain homological conditions, like for instance when $(\mathcal{A,B})$ is a GP-ad… ▽ More We present and study the concept of $m$-periodic Gorenstein objects relative to a pair $(\mathcal{A,B})$ of classes of objects in an abelian category, as a generalization of $m$-strongly Gorenstein projective modules over associative rings. We prove several properties in some cases where $(\mathcal{A,B})$ satisfies certain homological conditions, like for instance when $(\mathcal{A,B})$ is a GP-admissible pair. Connections to Gorenstein objects and Gorenstein homological dimensions relative to these pairs are also established. △ Less

Submitted 30 June, 2022; originally announced July 2022.

Comments: 33 pages, 5 figures. Comments are welcome

MSC Class: 18G25 (18G10; 18G20; 16E65)

Balanced systems for $\mathrm{Hom}$

Authors: Víctor Becerril, Octavio Mendoza, Marco A. Pérez

Abstract: From the notion of (co)generator in relative homological algebra, we present the concept of finite balanced system $[(\mathcal{X} , ω); (ν, \mathcal{Y})]$ as a tool to induce balanced pairs $(\mathcal{X} , \mathcal{Y} )$ for the $\mathrm{Hom}$ functor with domain determined by the finiteness of homological dimensions relative to $\mathcal{X}$ and $\mathcal{Y}$. This approach to balance will cove… ▽ More From the notion of (co)generator in relative homological algebra, we present the concept of finite balanced system $[(\mathcal{X} , ω); (ν, \mathcal{Y})]$ as a tool to induce balanced pairs $(\mathcal{X} , \mathcal{Y} )$ for the $\mathrm{Hom}$ functor with domain determined by the finiteness of homological dimensions relative to $\mathcal{X}$ and $\mathcal{Y}$. This approach to balance will cover several well known ambients where right derived functors of $\mathrm{Hom}$ are obtained relative to certain classes of objects in an abelian category, such as Gorenstein projective and injective modules and chain complexes, Gorenstein modules relative to Auslander and Bass classes, among others. △ Less

Submitted 26 January, 2024; v1 submitted 22 March, 2022; originally announced March 2022.

MSC Class: 18G10; 18F20; 16E30; 16E65

Torsion and torsion-free classes from objects of finite type in Grothendieck categories

Authors: Daniel Bravo, Sinem Odabaşı, Carlos E. Parra, Marco A. Pérez

Abstract: In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditio… ▽ More In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditions for this class to be torsion-free. In the end, we present several applications and examples of $n$-hereditary categories in the contexts modules over a ring, chain complexes of modules and categories of additive functors from an additive category to the category of abelian groups. Concerning the latter setting, we find a characterization of when these functor categories are $n$-hereditary in terms of the domain additive category. △ Less

Submitted 6 January, 2022; originally announced January 2022.

Comments: 27 pages

MSC Class: 18E40; 18C35; 18G15

Cut cotorsion pairs

Authors: Mindy Huerta, Octavio Mendoza, Marco A. Pérez

Abstract: We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain subcategories. We also exhibit some connections between cut cotorsion pairs and Auslander-Buchweitz approximation theory, by considering relative analogs for Frobenius pa… ▽ More We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain subcategories. We also exhibit some connections between cut cotorsion pairs and Auslander-Buchweitz approximation theory, by considering relative analogs for Frobenius pairs and Auslander-Buchweitz contexts. Several applications are given in the settings of relative Gorenstein homological algebra, chain complexes and quasi-coherent sheaves, but also to characterize some important results on the Finitistic Dimension Conjecture, the existence of right adjoints of quotient functors by Serre subcategories, and the description of cotorsion pairs in triangulated categories as co-$t$-structures. △ Less

Submitted 19 June, 2020; originally announced June 2020.

Comments: 48 pages

MSC Class: 18G25 (18G10; 18G20; 18G35; 18G80; 16E65)

Locally type $\text{FP}_n$ and $n$-coherent categories

Authors: Daniel Bravo, James Gillespie, Marco A. Pérez

Abstract: We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of locally type $\text{FP}_n$ categories as a generalization of locally finitely generated and locally finitely presented categories. We also define and study the inject… ▽ More We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of locally type $\text{FP}_n$ categories as a generalization of locally finitely generated and locally finitely presented categories. We also define and study the injective objects that are Ext-orthogonal to the class of objects of type $\text{FP}_n$, called $\text{FP}_n$-injective objects, which will be the right half of a complete cotorsion pair. As a generalization of the category of modules over an $n$-coherent ring, we present the concept of $n$-coherent categories, which also recovers the notions of locally noetherian and locally coherent categories for $n = 0, 1$. Such categories will provide a setting in which the $\text{FP}_n$-injective cotorsion pair is hereditary, and where it is possible to construct (pre)covers by $\text{FP}_n$-injective objects. Moreover, we see how $n$-coherent categories provide a suitable framework for a nice theory of Gorenstein homological algebra with respect to the class of $\text{FP}_n$-injective modules. We define Gorenstein $\text{FP}_n$-injective objects and construct two different model category structures (one abelian and the other one exact) in which these Gorenstein objects are the fibrant objects. △ Less

Submitted 28 August, 2019; originally announced August 2019.

Comments: 37 pages, 22 figures

MSC Class: 18C35; 18A25; 18E15; 18F20; 18G15; 18G25; 18G55

$n$-Cotorsion pairs

Authors: Mindy Huerta, Octavio Mendoza, Marco A. Pérez

Abstract: Motivated by some properties satisfied by Gorenstein projective and Gorenstein injective modules over an Iwanaga-Gorenstein ring, we present the concept of left and right $n$-cotorsion pairs in an abelian category $\mathcal{C}$. Two classes $\mathcal{A}$ and $\mathcal{B}$ of objects of $\mathcal{C}$ form a left $n$-cotorsion pair $(\mathcal{A,B})$ in $\mathcal{C}$ if the orthogonality relation… ▽ More Motivated by some properties satisfied by Gorenstein projective and Gorenstein injective modules over an Iwanaga-Gorenstein ring, we present the concept of left and right $n$-cotorsion pairs in an abelian category $\mathcal{C}$. Two classes $\mathcal{A}$ and $\mathcal{B}$ of objects of $\mathcal{C}$ form a left $n$-cotorsion pair $(\mathcal{A,B})$ in $\mathcal{C}$ if the orthogonality relation $\mathsf{Ext}^i_{\mathcal{C}}(\mathcal{A,B}) = 0$ is satisfied for indexes $1 \leq i \leq n$, and if every object of $\mathcal{C}$ has a resolution by objects in $\mathcal{A}$ whose syzygies have $\mathcal{B}$-resolution dimension at most $n-1$. This concept and its dual generalise the notion of complete cotorsion pairs, and has an appealing relation with left and right approximations, especially with those having the so called unique mapping property. The main purpose of this paper is to describe several properties of $n$-cotorsion pairs and to establish a relation with complete cotorsion pairs. We also give some applications in relative homological algebra, that will cover the study of approximations associated to Gorenstein projective, Gorenstein injective and Gorenstein flat modules and chain complexes, as well as $m$-cluster tilting subcategories. △ Less

Submitted 27 February, 2019; originally announced February 2019.

Comments: 40 pages

MSC Class: 18G25; 18G10; 18G20; 18G35

On some applications of balanced pairs and their relation with cotorsion triplets

Authors: Sergio Estrada, Marco A. Pérez, Haiyan Zhu

Abstract: Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new character… ▽ More Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories having enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also give a short proof of the lack of balance for derived functors of $\mathsf{Hom}$ computed by using flat resolutions which extends the one showed by Enochs in the commutative case. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: 18 pages

MSC Class: 18G25; 16G20; 18E10; 18C15

Model structures and relative Gorenstein flat modules and chain complexes

Authors: Sergio Estrada, Alina Iacob, Marco A. Pérez

Abstract: A recent result by J. Šaroch and J. Šťovíček asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and (trivially) fibrant objects are given by the classes of Gorenstein flat (resp., flat) and cotorsion (resp., Gorenstein cotorsion) modules. In this paper, we generalise this result to a ce… ▽ More A recent result by J. Šaroch and J. Šťovíček asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and (trivially) fibrant objects are given by the classes of Gorenstein flat (resp., flat) and cotorsion (resp., Gorenstein cotorsion) modules. In this paper, we generalise this result to a certain relativisation of Gorenstein flat modules, which we call Gorenstein $\mathcal{B}$-flat modules, where $\mathcal{B}$ is a class of right $R$-modules. Using some of the techniques considered by Šaroch and Šťovíček, plus some other arguments coming from model theory, we determine some conditions for $\mathcal{B}$ so that the class of Gorenstein $\mathcal{B}$-modules is closed under extensions. This will allow us to show approximation properties concerning these modules, and also to obtain a relative version of the model structure described before. Moreover, we also present and prove our results in the category of complexes of left $R$-modules, study other model structures on complexes constructed from relative Gorenstein flat modules, and compare these models via computing their homotopy categories. △ Less

Submitted 14 December, 2022; v1 submitted 2 September, 2017; originally announced September 2017.

Comments: 35 pages. Labeling now matches the published version. Further details have been added in the proofs of Propositions 2.15 and 2.18

MSC Class: 18G35; 18G55; 13D30; 16E65; 55U15

Relative FP-injective and FP-flat complexes and their model structures

Authors: Tiwei Zhao, Marco A. Pérez

Abstract: In this paper, we introduce the notions of ${\rm FP}_n$-injective and ${\rm FP}_n$-flat complexes in terms of complexes of type ${\rm FP}_n$. We show that some characterizations analogous to that of injective, FP-injective and flat complexes exist for ${\rm FP}_n$-injective and ${\rm FP}_n$-flat complexes. We also introduce and study ${\rm FP}_n$-injective and ${\rm FP}_n$-flat dimensions of modul… ▽ More In this paper, we introduce the notions of ${\rm FP}_n$-injective and ${\rm FP}_n$-flat complexes in terms of complexes of type ${\rm FP}_n$. We show that some characterizations analogous to that of injective, FP-injective and flat complexes exist for ${\rm FP}_n$-injective and ${\rm FP}_n$-flat complexes. We also introduce and study ${\rm FP}_n$-injective and ${\rm FP}_n$-flat dimensions of modules and complexes, and give a relation between them in terms of Pontrjagin duality. The existence of pre-envelopes and covers in this setting is discussed, and we prove that any complex has an ${\rm FP}_n$-flat cover and an ${\rm FP}_n$-flat pre-envelope, and in the case $n \geq 2$ that any complex has an ${\rm FP}_n$-injective cover and an ${\rm FP}_n$-injective pre-envelope. Finally, we construct model structures on the category of complexes from the classes of modules with bounded ${\rm FP}_n$-injective and ${\rm FP}_n$-flat dimensions, and analyze several conditions under which it is possible to connect these model structures via Quillen functors and Quillen equivalences. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Comments: 41 pages

MSC Class: 18G15; 18G35; 18G55; 16E05; 16E10; 16E35

Journal ref: Communications in Algebra. Volume 47, Issue 4, pages 1708-1730 (2019)

Coends and the tensor product of $\mathcal{C}$-modules

Authors: Marco A. Pérez

Abstract: We give an introduction to the concept of Kan extensions, and study its relation with the notions of coend and adjoint functors. We state and prove in detail a well known formula to compute Kan extensions by using coends: a certain colimit related to the concept of copower. Finally, we study the tensor product of functors, and its relation with Kan extensions, in order to represent the tensor prod… ▽ More We give an introduction to the concept of Kan extensions, and study its relation with the notions of coend and adjoint functors. We state and prove in detail a well known formula to compute Kan extensions by using coends: a certain colimit related to the concept of copower. Finally, we study the tensor product of functors, and its relation with Kan extensions, in order to represent the tensor product of $\mathcal{C}$-modules as a particular case. △ Less

Submitted 4 October, 2016; v1 submitted 9 August, 2016; originally announced August 2016.

Comments: 37 pages, 42 figures. Some terminology mistakes in the first version were fixed. Typos corrected. The formula to compute Kan extensions using coends was slightly generalized from small categories to skeletally small categories. Versions 2 and 1 in Spanish. Versions 2 and 3 are the same but in different languages

MSC Class: 18A25; 18A30; 18A35; 18A40; 18E10; 18G05; 18G10

Frobenius pairs in abelian categories: correspondences with cotorsion pairs, exact model categories, and Auslander-Buchweitz contexts

Authors: Víctor Becerril, Octavio Mendoza Hernandez, Marco A. Pérez, Valente Santiago

Abstract: In this work, we revisit Auslander-Buchweitz Approximation Theory and find some relations with cotorsion pairs and model category structures. From the notions of relatives generators and cogenerators in Approximation Theory, we introduce the concept of left Frobenius pairs $(\mathcal{X},ω)$ in an abelian category $\mathcal{C}$. We show how to construct from $(\mathcal{X},ω)$ a projective exact mod… ▽ More In this work, we revisit Auslander-Buchweitz Approximation Theory and find some relations with cotorsion pairs and model category structures. From the notions of relatives generators and cogenerators in Approximation Theory, we introduce the concept of left Frobenius pairs $(\mathcal{X},ω)$ in an abelian category $\mathcal{C}$. We show how to construct from $(\mathcal{X},ω)$ a projective exact model structure on $\mathcal{X}^\wedge$, as a result of Hovey-Gillespie Correspondence applied to two compatible and complete cotorsion pairs in $\mathcal{X}^\wedge$. These pairs can be regarded as examples of what we call cotorsion pairs relative to a thick subcategory of $\mathcal{C}$. We establish some correspondences between Frobenius pairs, relative cotorsion pairs, exact model structures and Auslander-Buchweitz contexts. Finally, some applications of these results are given in the context of Gorenstein homological algebra by generalizing some existing model structures on the categories of modules over Gorenstein and Ding-Chen rings, and by encoding the stable module category of a ring as a certain homotopy category. We also present some connections with perfect cotorsion pairs, covering classes, and cotilting modules. △ Less

Submitted 23 April, 2016; v1 submitted 23 February, 2016; originally announced February 2016.

Comments: 54 pages, 10 figures. The statement and proof of 2.6.21 was corrected. Typos corrected. Section 4 was improved, and new results in Section 5 were added

MSC Class: 18G10; 18G20; 18G25; 18G55; 16E10

Journal ref: Journal of Homotopy and Related Structures. volume 14, pages 1-50 (2019)

Finiteness conditions and cotorsion pairs

Authors: Daniel Bravo, Marco A. Pérez

Abstract: We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness of the class of finitely $n$-presented modules. The relative homological algebra part comes from the study of orthogonal complements to this class of modules w… ▽ More We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness of the class of finitely $n$-presented modules. The relative homological algebra part comes from the study of orthogonal complements to this class of modules with respect to ${\rm Ext}^1_R(F,-)$ and ${\rm Tor}_1^R(F,-)$. We also construct cotorsion pairs from these orthogonal complements, allowing us to provide further characterizations of $n$-coherent rings. △ Less

Submitted 30 October, 2015; originally announced October 2015.

Comments: 18 pages

Journal ref: J. Pure Appl. Algebra 221, No. 6, 1249-1267 (2017)

Toward formalizing ologs: Linguistic structures, instantiations, and mappings

Authors: Marco A. Pérez, David I. Spivak

Abstract: We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and D. I. Spivak in their paper "Ologs: A categorical framework for knowledge representation." In particular, we construct a bicategory $\mathsf{Eng}$, of English noun phrases and verb phrases, endorsed as functional by vary… ▽ More We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and D. I. Spivak in their paper "Ologs: A categorical framework for knowledge representation." In particular, we construct a bicategory $\mathsf{Eng}$, of English noun phrases and verb phrases, endorsed as functional by varying sets of authors. An olog is then defined as a lax functor to $\mathsf{Eng}$. We then present a new notion of linguistic functor, which extends Spivak's notion of meaningful functors. Finally, we discuss the relationship between ologs and databases in this context. △ Less

Submitted 22 June, 2015; v1 submitted 28 March, 2015; originally announced March 2015.

Comments: 35 pages. There are several improvements with respect to the previous version: (1) many concepts where redefined in order to provide a more formal description of ontology logs, via the use of bicategories, lax functors and lax transformations, (2) all proofs are now given as prose arguments, merged with the text