The existence of UFO implies projectively universal morphisms
Functional Analysis
2022-08-10 v2 Category Theory
Operator Algebras
Abstract
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.
Cite
@article{arxiv.2208.03579,
title = {The existence of UFO implies projectively universal morphisms},
author = {Marek Balcerzak and Tomasz Kania},
journal= {arXiv preprint arXiv:2208.03579},
year = {2022}
}
Comments
7 pp