Let T be a set of elements in a ring A. The set T is right permutable if for any a ∈ A and t ∈ T, there exist b ∈ A, u ∈ T such that au = tb. A multiplicative set in a ring A is any subset T of A such that 1 ∈ T,0 ∉ T and T is closed under multiplication. A completely prime ideal in a ring A is any proper ideal B such that A\B is a multiplicative set (i.e. A/Bis a domain). A minimal prime ideal (resp. minimal completely prime ideal) in a ring A is any prime (resp. completely prime) ideal P such that P contains no properly any other prime ideal (resp. completely prime ideal) of A. Let I be any proper ideal of a ring A. The set of all elements a ∈ A such that a + I is a regular element of A/I is denoted by c(I). In particular, c(0) is the set of all regular elements of A.

Rings of quotients

Basic concepts of enriched category theory

Thank you very much for downloading the theory of categories. Maybe you have knowledge that, people have look hundreds times for their favorite readings like this the theory of categories, but end up in infectious downloads. Rather than reading a good book with a cup of coffee in the afternoon, instead they cope with some harmful bugs inside their computer. the theory of categories is available in our book collection an online access to it is set as public so you can download it instantly. Our book servers spans in multiple countries, allowing you to get the most less latency time to download any of our books like this one. Merely said, the the theory of categories is universally compatible with any devices to read.

The Theory Of Categories

Discrete derived categories were studied initially by Vossieck (J Algebra 243:168–176, 2001) and later by Bobinski et al. (Cent Eur J Math 2:19–49, 2004). In this article, we describe the homomorphism hammocks and autoequivalences on these categories. We classify silting objects and bounded t-structures.

/pdf/discrete-derived-categories-i-homomorphisms-autoequivalences-132rqfue58.pdf

Discrete derived categories I: homomorphisms, autoequivalences and t-structures

Cyclic posets are generalizations of cyclically ordered sets. In this article, we show that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The stable category of a Frobenius category is always triangulated and has a cluster structure in many cases. The continuous cluster categories of [14], the infinity-gon of [12], and the m-cluster category of type A ∞ (m ≥ 3) [13] are examples of this construction as well as some new examples such as the cluster category of ℤ2. An extension of this construction and further examples are given in [16].

https://people.brandeis.edu/~igusa/Papers/PosetsC140709.pdf

Cluster Categories Coming from Cyclic Posets

As a generalization of a Calabi-Yau category, we will say a k-linear Hom-finite triangulated category is fractionally Calabi-Yau if it admits a Serre functor S and there is an n > 0 with S^n = [m]. An abelian category will be called fractionally Calabi-Yau is its bounded derived category is. We provide a classification up to derived equivalence of abelian hereditary fractionally Calabi-Yau categories (for algebraically closed k). They are: the category of finite dimensional representations of a Dynkin quiver, the category of finite dimensional nilpotent representations of a cycle, and the category of coherent sheaves on an elliptic curve or a weighted projective line of tubular type. To obtain this classification, we introduce generalized 1-spherical objects and use them to obtain results about tubes in hereditary categories (which are not necessarily fractionally Calabi-Yau).

Abelian hereditary fractionally Calabi-Yau categories

In this paper, we show all k-linear abelian 1-Calabi-Yau categories over an algebraically closed field k are derived equivalent to either the category of coherent sheaves on an elliptic curve, or to the finite dimensional representations of k[[t]]. Since all abelian categories derived equivalent with these two are known, we obtain a classification of all k-linear abelian 1-Calabi-Yau categories up to equivalence.

Abelian 1-Calabi-Yau Categories

In this paper, we introduce quotients of exact categories by percolating subcategories. This approach extends earlier localization theories by Cardenas and Schlichting for exact categories, allowing new examples. Let $\mathcal{A}$ be a percolating subcategory of an exact category $\mathcal{E}$, the quotient $\mathcal{E} {/\mkern-6mu/} \mathcal{A}$ is constructed in two steps. In the first step, we associate a set $S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E})$ to $\mathcal{A}$ and consider the localization $\mathcal{E}[S^{-1}_\mathcal{A}]$. In general, $\mathcal{E}[S_\mathcal{A}^{-1}]$ need not be an exact category, but will be a one-sided exact category. In the second step, we take the exact hull $\mathcal{E} {/\mkern-6mu/} \mathcal{A}$ of $\mathcal{E}[S_\mathcal{E}^{-1}]$. The composition $\mathcal{E} \rightarrow \mathcal{E}[S_\mathcal{A}^{-1}] \rightarrow \mathcal{E} {/\mkern-6mu/} \mathcal{A}$ satisfies the 2-universal property of a quotient in the 2-category of exact categories. 
We formulate our results in slightly more generality, allowing to start from a one-sided exact category. Additionally, we consider a type of percolating subcategories which guarantee that the morphisms of the set $S_\mathcal{A}$ are admissible. 
In upcoming work, we show that these localizations induce Verdier localizations on the level of the bounded derived category.

Localizations of one-sided exact categories

We consider the quotient of an exact or one-sided exact category $\mathcal{E}$ by a so-called percolating subcategory $\mathcal{A}$. For exact categories, such a quotient is constructed in two steps. Firstly, one localizes $\mathcal{E}$ at a suitable class $S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E})$ of morphisms. The localization $\mathcal{E}[S_\mathcal{A}^{-1}]$ need not be an exact category, but will be a one-sided exact category. Secondly, one constructs the exact hull $\mathcal{E}{/\mkern-6mu/} \mathcal{A}$ of $\mathcal{E}[S_\mathcal{A}^{-1}]$ and shows that this satisfies the 2-universal property of a quotient amongst exact categories. 
In this paper, we show that this quotient $\mathcal{E} \to \mathcal{E} {/\mkern-6mu/} \mathcal{A}$ induces a Verdier localization $\mathbf{D}^b(\mathcal{E}) \to \mathbf{D}^b(\mathcal{E} {/\mkern-6mu/} \mathcal{A})$ of bounded derived categories. Specifically, (i) we study the derived category of a one-sided exact category, (ii) we show that the localization $\mathcal{E} \to \mathcal{E}[S_\mathcal{A}^{-1}]$ induces a Verdier quotient $\mathbf{D}^b(\mathcal{E}) \to \mathbf{D}^b(\mathcal{E}[S^{-1}_\mathcal{A}])$, and (iii) we show that the natural embedding of a one-sided exact category $\mathcal{F}$ into its exact hull $\overline{\mathcal{F}}$ lifts to a derived equivalence $\mathbf{D}^b(\mathcal{F}) \to \mathbf{D}^b(\overline{\mathcal{F}})$. 
We furthermore show that the Verdier localization is compatible with several enhancements of the bounded derived category, so that the above Verdier localization can be used in the study of localizing invariants, such as non-connective $K$-theory.

Derived categories of one-sided exact categories and their localizations

One-sided exact categories are obtained via a weakening of a Quillen exact category. Such one-sided exact categories are homologically similar to Quillen exact categories: a one-sided exact category $\mathcal{E}$ can be (essentially uniquely) embedded into its exact hull ${\mathcal{E}}^{\textrm{ex}}$; this embedding induces a derived equivalence $\textbf{D}^b(\mathcal{E}) \to \textbf{D}^b({\mathcal{E}}^{\textrm{ex}})$. 
Whereas it is well known that Quillen's obscure axioms are redundant for exact categories, some one-sided exact categories are known to not satisfy the corresponding obscure axiom. In fact, we show that the failure of the obscure axiom is controlled by the embedding of $\mathcal{E}$ into its exact hull ${\mathcal{E}}^{\textrm{ex}}.$ 
In this paper, we introduce three versions of the obscure axiom (these versions coincide when the category is weakly idempotent complete) and establish equivalent homological properties, such as the snake lemma and the nine lemma. We show that a one-sided exact category admits a closure under each of these obscure axioms, each of which preserves the bounded derived category up to triangle equivalence.

Adam-Christiaan van Roosmalen

Papers

Abelian hereditary fractionally Calabi-Yau categories

Abelian 1-Calabi-Yau Categories

Localizations of one-sided exact categories

Derived categories of one-sided exact categories and their localizations

On the obscure axiom for one-sided exact categories