Related papers: Schanuel's Lemma for Exact categories

We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…

We characterize exactness of a countable group $\Gamma$ in terms of invariant random equivalence relations (IREs) on $\Gamma$. Specifically, we show that $\Gamma$ is exact if and only if every weak limit of finite IREs is an amenable IRE.…

We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories…

We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…

We verify a conjecture of Etingof and Ostrik, stating that an algebra object in a finite tensor category is exact if and only if it is a finite direct product of simple algebras. Towards that end, we introduce an analogue of the Jacobson…

We show that every additive category with kernels and cokernels admits a maximal exact structure. Moreover, we discuss two examples of categories of the latter type arising from functional analysis.

Given a finite tensor category $\ca$, an exact indecomposable $\ca$-module category $\Mo$, and a tensor subcategory $\Do\subseteq \ca^*_\Mo$, we describe a way to produce \textit{exact} commutative algebras in the center $Z(\ca)$, measuring…

Motivated by the decidability question for the theory of real exponentiation and by the Transfer Conjecture for o-minimal exponential fields, we show that, under the assumption of Schanuel's Conjecture, the prime model of real…

This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable…

Our first aim is to provide an analog of the Gabriel-Quillen embedding theorem for $n$-exact categories. Also we give an example of an $n$-exact category that is not an $n$-cluster tilting subcategory, and we suggest two possible ways for…

Let $\mathcal{C}$ be a $k$-linear category with split idempotents, and $\Sigma:\mathcal{C}\rightarrow\mathcal{C}$ an automorphism. We show that there is an $n$-angulated structure on $(\mathcal{C},\Sigma)$ under certain conditions. As an…

Let $\Lambda$ be a finite dimensional algebra. Let $\mathcal C$ be a functorially finite exact subcategory of $\Lambda$-mod with enough projective and injective objects and $\mathcal S (\mathcal C)$ be its monomorphism category. It turns…

We define extension $\infty$-categories for exact $\infty$-categories in terms of bifibrations. Extension $\infty$-categories are invariant when passing to the stable hull, and consequently we show that they form an $\Omega$-spectrum,…

We introduce and study the new notion of an {\em exact factorization} $\mathcal{B}=\mathcal{A}\bullet \mathcal{C}$ of a fusion category $\mathcal{B}$ into a product of two fusion subcategories $\mathcal{A},\mathcal{C}\subseteq \mathcal{B}$…

In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal $\infty$-category, which are in addition hypersheaves for a certain topology. We prove a symmetric monoidal version of…

We develop an algebraic model for the relative sectional category of a continuous map in rational homotopy theory using commutative differential graded algebras (CDGAs). Our main result establishes that for formal maps, the rational…

This article studies the compatibility of Koenig's notion of an exact Borel subalgebra of a quasi-hereditary or, more generally, standardly stratified algebra with taking idempotent subalgebras or quotients. As an application, we provide…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular…

We provide various ways to characterise $\Sigma$-pure-injective objects in a compactly generated triangulated category. These characterisations mimic analogous well-known results from the model theory of modules. The proof involves two…