Category:Projection is Injection iff Factor is Singleton