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 constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

The equivariant model structure on cartesian cubical sets

Relative elegance and cartesian cubes with one connection

A monoidal Dold-Kan correspondence for comodules

Model category structures on simplicial objects

Generalizing quasi-categories via model structures on simplicial sets

Effective Kan fibrations in simplicial sets

Model structures for diagrammatic $(\infty, n)$-categories

A model structure on the category of equivariant A-modules over a Hopf algebra

A model structure for Grothendieck fibrations

Cofibrantly generated model structures for functor calculus

A Quillen model structure of local homotopy equivalences

A functorial approach to monomorphism categories II: Indecomposables

Model Structures on Infinity-Categories of Filtrations

A Model Structure on the Category of Topological Categories

The enriched Thomason model structure on 2-categories

Monoidal algebraic model structures

Model $\infty$-categories II: Quillen adjunctions

André-Quillen Cohomology and $k$-invariants of simplicial categories