Related papers: Unusual spectral categories

Categorical spectra are spectrum objects in pointed $(\infty,\infty)$-categories: sequences $(X_n)$ equipped with equivalences $X_n\simeq \Omega X_{n+1}$. This thesis develops foundations for categorical spectra and constructs their tensor…

In this paper, we obtain a non-abelian analogue of Lubkin's embedding theorem for abelian categories. Our theorem faithfully embeds any small regular Mal'tsev category $\mathbb{C}$ in an $n$-th power of a particular locally finitely…

The purpose of this paper is to initiate a development of a new non-pointed counterpart of semi-abelian categorical algebra. We are making, however, only the first step in it by giving equivalent definitions of what we call ideally exact…

We show that Segal spaces, and more generally category objects in an $\infty$-category $\mathcal{C}$, can be identified with associative algebras in the double $\infty$-category of spans in $\mathcal{C}$. We use this observation to prove…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

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…

We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several…

Let $\mathcal{C}$ be an additive category. The nilpotent category $\mathrm{Nil} (\mathcal{C})$ of $\mathcal{C}$, consists of objects pairs $(X, x)$ with $X\in\mathcal{C}, x\in\mathrm{End}_{\mathcal{C}}(X)$ such that $x^n=0$ for some…

The purpose of this short and elementary note is to identify some classes of exact categories introduced in L. Previdi's thesis. Among other things we show: (1) An exact category is partially abelian exact if and only if it is abelian. (2)…

We prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let $\mathscr{X}$ denote an additive category with finite direct sums and split…

Quasi-abelian categories are abundant in functional analysis and representation theory. It is known that a quasi-abelian category $\mathcal{E}$ is a cotilting torsionfree class of an abelian category. In fact, this property characterizes…

We establish the existence of injective envelopes for unital Yetter-Drinfeld C*-algebras, and a related class of bimodule categories over rigid C*-tensor categories. This implies monoidal invariance for boundary actions of Drinfeld doubles…

We introduce the extension groups between atoms in an abelian category. For a locally noetherian Grothendieck category, the localizing subcategories closed under injective envelopes are characterized in terms of those extension groups. We…

We define admissible and weakly admissible subcategories in exact categories and prove that the former induce semi-orthogonal decompositions on the derived categories. We develop the theory of thin exact categories, an exact-category…

It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each…

We provide some background on the category of classifiable $\mathrm{C}^*$-algebras, whose objects are infinite-dimensional, simple, separable, unital $\mathrm{C}^*$-algebras that have finite nuclear dimension and satisfy the universal…

We show that for any clopen collection X of subgroups of G with finite Weyl groups, the category of G-spectra with geometric isotropy in X is equivalent to the category of equivariant sheaves over X. This gives an algebraic model of…

In the article Categorical Construction of Schemes, arXiv:2511.03433 we gave a natural definition of ordinary schemes based on the fact that the localization of a ring in a maximal ideal is a local representation of the corresponding…

We consider a class of C*-algebras C(X) associated with quantum spaces such as spheres, projective spaces, and lens spaces. We introduce a non-self-adjoint operator algebra A together with an explicit functor from the category of…

For a finite p-group G and a bounded below G-spectrum X of finite type mod p, the G-equivariant Segal conjecture for X asserts that the canonical map X^G --> X^{hG} is a p-adic equivalence. Let C_{p^n} be the cyclic group of order p^n. We…