The core and dual core inverse of a morphism with factorization

Abstract

Let $\mathscr{C}$ be a category with an involution $\ast$. Suppose that $φ: X \rightarrow X$ is a morphism and $(φ_1, Z, φ_2)$ is an (epic, monic) factorization of $φ$ through $Z$, then $φ$ is core invertible if and only if $(φ^{\ast})^2φ_1$ and $φ_2φ_1$ are both left invertible if and only if $((φ^{\ast})^2φ_1, Z, φ_2)$, $(φ_2^{\ast}, Z, φ_1^{\ast}φ^{\ast}φ)$ and $(φ^{\ast}φ_2^{\ast}, Z, φ_1^{\ast}φ)$ are all essentially unique (epic, monic) factorizations of $(φ^{\ast})^2φ$ through $Z$. We also give the corresponding result about dual core inverse. In addition, we give some characterizations about the coexistence of core inverse and dual core inverse of an $R$-morphism in the category of $R$-modules of a given ring $R$.