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.

Effective codescent morphisms of $n$-quasigroups and $n$-loops

Weak Hopf Quivers, Clifford Monoids and Weak Hopf Algebras

Descent in the dual category of ternary rings

Effective Morphisms and Quotient Stacks

On loop extensions and cohomology of loops

Modulation and Natural Valued Quiver of an Algebra

Code loops: automorphisms and representations

The space of non-extendable quasimorphisms

Frobenius Morphisms and Representations of Algebras

Small loops of nilpotency class three with commutative inner mapping groups

Mutation commutativity between geometric realizations and related quivers of classical cluster algebras and applications

Codes from Infinitely Near Points

A functorial approach to monomorphism categories II: Indecomposables

Measurings of Hopf algebroids and morphisms in cyclic (co)homology theories

Quasimorphisms on free racks and free quandles

Azumaya algebras with involution and classical semisimple group schemes

Loday-Quillen-Tsygan theorem on Quivers

On (co-)morphisms of $n$-Lie-Rinehart algebras with applications to Nambu-Poisson manifolds

Genons, Double Covers and Fault-tolerant Clifford Gates

Relations Between the Strong Global dimension, Complexes of Fixed Size and Derived Category