Related papers: Monomorphism operator and perpendicular operator
The monomorphism category $\mathcal S_n(\mathcal X)$ is introduced, where $\mathcal X$ is a full subcategory of the module category $A$-mod of Artin algebra $A$. The key result is a reciprocity of the monomorphism operator $\mathcal S_n$…
For an acyclic quiver $Q$ and a finite-dimensional algebra $A$, we give a unified form of the indecomposable injective objects in the monomorphism category ${\rm Mon}(Q,A)$ and prove that ${\rm Mon}(Q, A)$ has enough injective objects. As…
We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category…
For a $k$-algebra $A$, a quiver $Q$, and an ideal $I$ of $kQ$ generated by monomial relations, let $\Lambda: = A\otimes_k kQ/I$. We introduce the monic representations of $(Q, I)$ over $A$. We give properties of the structural maps of monic…
Let ($S, \mathfrak{n})$ be a commutative noetherian local ring and let $\omega\in\mathfrak{n}$ be non-zero divisor. This paper is concerned with the category of monomorphisms between finitely generated Gorenstein projective S-modules, such…
Let $\Lambda$ be the path algebra of a finite quiver $Q$ over a finite-dimensional algebra $A$. Then $\Lambda$-modules are identified with representations of $Q$ over $A$. This yields the notion of monic representations of $Q$ over $A$. If…
The category ${\rm gp}(\Lambda)$ of Gorenstein-projective modules over tensor algebra $\Lambda = A\otimes_kB$ can be described as the monomorphism category ${\rm mon}(B, {\rm gp}(A))$ of $B$ over ${\rm gp}(A)$. In particular,…
Given a finite dimensional algebra $A$ over a field $k$, and a finite acyclic quiver $Q$, let $\Lambda = A\otimes_k kQ/I$, where $kQ$ is the path algebra of $Q$ over $k$ and $I$ is a monomial ideal. We show that $(\mathcal X,\mathcal Y)$ is…
Let $\mathcal{A}$ be a Hom-finite additive Krull-Schmidt $k$-category where $k$ is an algebraically closed field. Let ${\rm mod} \mathcal{A}$ denote the category of locally finite dimensional $\mathcal{A}$-modules, that is, the category of…
Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}\Lambda$, where $\Lambda$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(\Lambda)$, the submodule category of…
Let $A$ be a finite dimensional algebra over an algebraically closed field $k$. Let $T$ be a tilting $A$-module and $B={\rm End}_A\ T$ be the endomorphism algebra of $T$. In this paper, we consider the correspondence between the tilting…
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…
This paper aims at looking for Frobenius subcategories, via the separated monomorphism category ${\rm smon}(Q, I, \x)$, and on the other hand, to establish an {\rm RSS} equivalence from ${\rm smon}(Q, I, \x)$ to its dual ${\rm sepi}(Q, I,…
For any ring R the category of monomorphisms is a full subcategory of the morphsim category over R, where the latter is equivalent to the module category of the triangular matrix ring with entries the ring R. In this work, we consider the…
For a finite free and projective EI category, we prove that Gorenstein-projective modules over its category algebra are closed under the tensor product if and only if each morphism in the given category is a monomorphism.
The monomorphism category $\mathscr{S}(A, M, B)$ induced by a bimodule $_AM_B$ is the subcategory of $\Lambda$-mod consisting of $\left[\begin{smallmatrix} X\\ Y\end{smallmatrix}\right]_{\phi}$ such that $\phi: M\otimes_B Y\rightarrow X$ is…
For a Frobenius abelian category $\mathcal{A}$, we show that the category ${\rm Mon}(\mathcal{A})$ of monomorphisms in $\mathcal{A}$ is a Frobenius exact category; the associated stable category $\underline{\rm Mon}(\mathcal{A})$ modulo…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
This article sets out to understand the categories $\QGr A$ where $A$ is either a monomial algebra or a path algebra of finite Gelfand-Kirillov dimension. The principle questions are: 1) What is the structure of the point modules up to…
For a rigid object $M$ in an algebraic triangulated category $\mathcal{T}$, a functor pr$(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is constructed, which essentially takes an object to its `presentation', where pr$(M)$ is the full…