加载中…
Let be a concrete category. We prove that if admits a universally free object , then there is a projectively universal morphism , i.e., a morphism such that for any and there exists an epimorphism such that . This builds upon and extends various ideas by Darji and Matheron (Proc. Am. Math. Soc. 145 (2017)) who proved such a result for the category of separable Banach spaces with contractive operators as well as certain classes of dynamical systems on compact metric spaces. Specialising from our abstract setting, we conclude that the result applies to various categories of Banach spaces/lattices/algebras, C*-algebras, etc.

生成讲解博客的中文版本

生成AI智能校验的中文版本