ABSTRACT

Introduction to Abelian Model Structures and Gorenstein Homological Dimensions provides a starting point to study the relationship between homological and homotopical algebra, a very active branch of mathematics. The book shows how to obtain new model structures in homological algebra by constructing a pair of compatible complete cotorsion pairs related to a specific homological dimension and then applying the Hovey Correspondence to generate an abelian model structure.

The first part of the book introduces the definitions and notations of the universal constructions most often used in category theory. The next part presents a proof of the Eklof and Trlifaj theorem in Grothedieck categories and covers M. Hovey’s work that connects the theories of cotorsion pairs and model categories. The final two parts study the relationship between model structures and classical and Gorenstein homological dimensions and explore special types of Grothendieck categories known as Gorenstein categories.

As self-contained as possible, this book presents new results in relative homological algebra and model category theory. The author also re-proves some established results using different arguments or from a pedagogical point of view. In addition, he proves folklore results that are difficult to locate in the literature.

part I|2 pages

Categorical and algebraic preliminaries

chapter 1|8 pages

Universal constructions

chapter 2|12 pages

Abelian categories

chapter 3|32 pages

Extension functors

chapter 4|44 pages

Torsion functors

part II|2 pages

Interactions between homological algebra and homotopy theory

chapter 5|28 pages

Model categories

chapter 6|38 pages

Cotorsion pairs

chapter 7|32 pages

Hovey Correspondence

part III|2 pages

Classical homological dimensions and abelian model structures on chain complexes

chapter 8|4 pages

Injective dimensions and model structures

chapter 9|34 pages

Projective dimensions and model structures

chapter 10|24 pages

Flat dimensions and model structures

part IV|2 pages

Gorenstein homological dimensions and abelian model structures