canonical projection morphism