Monomorphism operator and perpendicular operator
For a quiver Q, a k-algebra A, and a full subcategory X of A-mod, the monomorphism category Mon(Q,X) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0→Tm→...→T0→D(AA)→0 with each Ti∈add(T), then Mon(Q, ⊥T)= ⊥(kQ⊗kT); and if T is cotilting, then kQ⊗kT is a unique cotilting $\m$-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ⊥T)= ⊥(kQ⊗kT). As applications, the category of the Gorenstein-projective (kQ⊗kA)-modules is characterized as Mon(Q,GP(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q,X) can be described; and a sufficient and necessary condition for Mon(Q,A) being of finite type is given.