Abstract:We investigate the (separated) monomorphism category $\operatorname{mono}(Q,\Lambda)$ of a quiver $Q$ over an Artin algebra $\Lambda$. We construct an epivalence from $\overline{\operatorname{mono}}(Q,\Lambda)$ to $\operatorname{rep}(Q,\overline{\operatorname{mod}}\, \Lambda)$, where $\operatorname{mod}\Lambda$ is the category of finitely generated modules and $\overline{\operatorname{mod}}\, \Lambda$ and $\overline{\operatorname{mono}}(Q,\Lambda)$ denote the respective injectively stable categories. Furthermore, if $Q$ has at least one arrow, then we show that this is an equivalence if and only if $\Lambda$ is hereditary. In general, it induces a bijection between indecomposable objects in $\operatorname{rep}(Q,\overline{\operatorname{mod}}\, \Lambda)$ and non-injective indecomposable objects in $\operatorname{mono}(Q,\Lambda)$. We show that the generalized Mimo-construction, an explicit minimal right approximation into $\operatorname{mono}{(Q,\Lambda)}$, gives an inverse to this bijection. Using this, we describe the indecomposables in the monomorphism category of a radical-square-zero Nakayama algebra, and give a bijection between the indecomposables in the monomorphism category of two artinian uniserial rings of Loewy length $3$ with the same residue field. These results are proved using free monads on an abelian category, in order to avoid the technical combinatorics arising from quiver representations. The setup also specializes to representations of modulations. In particular, we obtain new results on the singularity category of the algebras $H$ which were introduced by Geiss, Leclerc, and Schröer in order to extend their results relating cluster algebras and Lusztig's semicanonical basis to symmetrizable Cartan matrices. We also recover results on the $\iota$quivers algebras which were introduced by Lu and Wang to realize $\iota$quantum groups via semi-derived Hall algebras.

A Chinese remainder theorem and Carlson's theorem for monoidal triangulated categories

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

Descent in tensor triangular geometry

Deligne tensor products of categories of modules for vertex operator algebras

Relative Monoidal Bondal-Orlov

A Categorification of Morelli’s Theorem

A monoidal Dold-Kan correspondence for comodules

Categorical Krull-Remak-Schmidt for triangulated categories

T-Structures and Torsion Pairs in A 2-Calabi-yau Triangulated Category

Categorical Cell Decomposition of Quantized Symplectic Algebraic Varieties

Formal extension of noncommutative tensor-triangular support varieties

The category $Θ_2$, derived modifications, and deformation theory of monoidal categories

A Categorification of Morelli's Theorem and Homological Mirror Symmetry for Toric Varieties

A functorial approach to monomorphism categories II: Indecomposables

Producing "new" semi-orthogonal decompositions in arithmetic geometry

On uniqueness of tensor products of irreducible categorifications

On two modular geometric realizations of an affine Hecke algebra

Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

Singular hermitian metrics and the decomposition theorem of Catanese, Fujita, and Kawamata

The center of monoidal bicategories in 3+1D Dijkgraaf-Witten Theory