Related papers: Ideally regular categories
We introduce $n$-abelian and $n$-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that $n$-cluster-tilting subcategories of abelian (resp. exact) categories…
In this paper, we study ideal approximation theory associated to almost $n$-exact structures in extension closed subcategories of $n$-angulated categories. For $n=3$, an $n$-angulated category is nothing but a classical triangulated…
In this survey article we propose the notion of a bound quiver for an exact category generalising the classical concept of the Gabriel quiver and its relation for a module category as certain ring extension. The notion is motivated by joint…
In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.
Using the Morita-type embedding, we show that any exact category with enough projectives has a realization as a (pre)resolving subcategory of a module category. When the exact category has enough injectives, the image of the embedding can…
We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete)…
In this paper, we view the collection of ideals of a commutative principal ideal ring from two perspectives: one as an ordered semigroup I(R) and the other as a category I_R . It is shown that I(R) is a regular ordered semigroup whereas I_R…
We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the…
We link the recent theory of $L$-algebras to previous notions of Universal Algebra and Categorical Algebra concerning subtractive varieties, commutators, multiplicative lattices, and their spectra. We show that the category of $L$-algebras…
In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and…
We describe the endomorphism rings in an additive category whose objects are right $R$-modules $M$ with a fixed chain of submodules $0=M^{(0)}\leq M^{(1)}\leq M^{(2)} \leq \dots \leq M^{(n)}=M$ and the behaviour of these objects as far as…
\emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a \emph{non-additive} setting. This…
Modular categories are important algebraic structures in a variety of subjects in mathematics and physics. We provide an explicit, motivated and elementary definition of a modular category over a field of characteristic 0 as an equivalence…
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…
We consider ideals in a polynomial ring that are generated by regular sequences of homogeneous polynomials and are stable under the action of the symmetric group permuting the variables. In previous work, we determined the possible…
This paper provides a short introduction to the notion of regular category and its use in categorical algebra. We first prove some of its basic properties, and consider some fundamental algebraic examples. We then analyse the algebraic…
We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories:…
In this paper we introduce the notion of (pointed) prenormal category, modelled after regular categories, but with the key notions of coequaliser and kernel pair replaced by those of cokernel and kernel. This framework provides a natural…
Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at…
We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove…