Related papers: Proto-exact and parabelian categories

There are several recent works where authors have shown that number fields $K$ with `sufficiently many' units and cyclic class group contain a Euclidean ideal class provided the Hilbert class field $H(K)$ is absolutely abelian. In this…

We study the notion of fundamental group in the framework of descent-exact homological categories. This setting is sufficiently wide to include several categories of "algebraic" nature such as the almost abelian categories, the semi-abelian…

Extending the Wedderburn-Artin theory of (classically) semisimple associative rings to the realm of topological rings with right linear topology, we show that the abelian category of left contramodules over such a ring is split…

The cluster category is a triangulated category introduced for its combinatorial similarities with cluster algebras. We prove that a cluster algebra A of finite type can be realized as a Hall algebra, called the exceptional Hall algebra, of…

We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…

An example of a cocomplete abelian category that is not complete is constructed.

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…

In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operation. However, the Metacategory space, valid for all…

We show that non-pointed versions of the classical homological lemmas hold in regular protomodular categories equipped with a suitable posetal monocoreflective subcategory. Examples of such categories are all protomodular varieties of…

We construct projectivization of a parabolic vector bundle and a tautological line bundle over it. It is shown that a parabolic vector bundle is ample if and only if the tautological line bundle is ample. This allows us to generalize the…

Let $R$ be a finite dimensional algebra of finite global dimension over a field $k$. In this paper, we will characterize a $k$-linear abelian category $\mathscr C$ such that $\mathscr C\cong \operatorname {tails} A$ for some graded right…

An orthogonality space is a set equipped with a symmetric and irreflexive binary relation. We consider orthogonality spaces with the additional property that any collection of mutually orthogonal elements gives rise to the structure of a…

Let $A$ be a homological category and $U\colon B\to A$ be a faithful conservative right adjoint. We introduce the notion of relative ideal with respect to $U$, and we show that, under suitable conditions, any object of $A$ can be seen as a…

For an exact category we provide two constructions of an ambient category in which the initial category is resolving: In the derived category and in the Gabriel--Quillen embedding. For the first construction we describe a pre-aisle and its…

We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories.

If ${\cal D}$ is a definable category then it may contain no nonzero finitely presented modules but, by a result of Makkai, there is a $\varinjlim$-generating set of strictly ${\cal D}$-atomic modules. These modules share some key…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting…

Let $(\mathcal C,\otimes,\mathbb 1)$ be an abelian symmetric monoidal category satisfying certain exactness conditions. In this paper we define a presheaf $\mathbb P^{n}_{\mathcal C}$ on the category of commutative algebras in $\mathcal C$…

We study the proalgebraic space which is the inverse limit of all finite branched covers over a normal toric variety with branching set the invariant divisor under the algebraic torus action. These are completions (compactifications) of the…