Green's relations in some categories of strong graph homomorphisms (Q1293385)

The author gives a sufficient condition for a strong graph monomorphism to be left invertible, i.e., a section (Theorem 10). This implies that all graphs in the category of graphs with finite number of neighborship classes and strong graph homomorphisms are injective and (in any case) projective. This allows application of some regularity and divisibility result by \textit{J. Klasa}, cited as [5]=[Semigroup Forum 2, 354-361 (1971; Zbl 0233.18003)], but this application is not performed in the paper. The result is obtained by generalizing a result by \textit{W. M. Li} cited from [Semigroup Forum 47, No. 2, 209-214 (1993; Zbl 0791.20077)] describing Green's relations for strong graph endomorphisms to categories with a certain epi-mono factorization property (in Theorem 2). Note that the condition in (8) of Theorem 2 should be \(E(f)\cong E(g)\).