Displaying 121 – 140 of 164

Showing per page

Explicit cogenerators for the homotopy category of projective modules over a ring

Amnon Neeman (2011)

Annales scientifiques de l'École Normale Supérieure

Let R be a ring. In two previous articles [12, 14] we studied the homotopy category 𝐊 ( R - Proj ) of projective R -modules. We produced a set of generators for this category, proved that the category is 1 -compactly generated for any ring R , and showed that it need not always be compactly generated, but is for sufficiently nice R . We furthermore analyzed the inclusion j ! : 𝐊 ( R - Proj ) 𝐊 ( R - Flat ) and the orthogonal subcategory 𝒮 = 𝐊 ( R - Proj ) . And we even showed that the inclusion 𝒮 𝐊 ( R - Flat ) has a right adjoint; this forces some natural map to be an equivalence...

Explicit models for perserse sheaves.

Félix Gudiel Rodríguez, Luis Narváez Macarro (2003)

Revista Matemática Iberoamericana

We consider categories of generalized perverse sheaves, with relaxed constructibility conditions, by means of the process of gluing t-structures and we exhibit explicit abelian categories defined in terms of standard sheaves categories which are equivalent to the former ones. In particular , we are able to realize perverse sheaves categories as non full abelian subcategories of the usual bounded complexes of sheaves categories. Our methods use induction on perversities. In this paper, we restrict...

Exponential Objects

Marco Riccardi (2015)

Formalized Mathematics

In the first part of this article we formalize the concepts of terminal and initial object, categorical product [4] and natural transformation within a free-object category [1]. In particular, we show that this definition of natural transformation is equivalent to the standard definition [13]. Then we introduce the exponential object using its universal property and we show the isomorphism between the exponential object of categories and the functor category [12].

Ext-algebras and derived equivalences

Dag Madsen (2006)

Colloquium Mathematicae

Using derived categories, we develop an alternative approach to defining Koszulness for positively graded algebras where the degree zero part is not necessarily semisimple.

Currently displaying 121 – 140 of 164