The existence of UFO implies projectively universal morphisms

Marek Balcerzak, Tomasz Kania

Let $\mathcal{C}$ be a concrete category. We prove that if $\mathcal{C}$ admits a universally free object $\mathsf{F}$, then there is a projectively universal morphism $u\colon \math…