English

Monadic forgetful functors and (non-)presentability for $C^*$- and $W^*$-algebras

Operator Algebras 2022-05-30 v3 Category Theory Functional Analysis

Abstract

We prove that the forgetful functors from the categories of CC^*- and WW^*-algebras to Banach *-algebras, Banach algebras or Banach spaces are all monadic, answering a question of J.Rosick\'{y}, and that the categories of unital (commutative) CC^*-algebras are not locally-isometry 0\aleph_0-generated either as plain or as metric-enriched categories, answering a question of I. Di Liberti and Rosick\'{y}. We also prove a number of negative presentability results for the category of von Neumann algebras: not only is that category not locally presentable, but in fact its only presentable objects are the two algebras of dimension 1\le 1. For the same reason, for a locally compact abelian group G\mathbb{G} the category of G\mathbb{G}-graded von Neumann algebras is not locally presentable.

Keywords

Cite

@article{arxiv.2203.12087,
  title  = {Monadic forgetful functors and (non-)presentability for $C^*$- and $W^*$-algebras},
  author = {Alexandru Chirvasitu and Joanna Ko},
  journal= {arXiv preprint arXiv:2203.12087},
  year   = {2022}
}

Comments

minor typo fixes; 23 pages + references

R2 v1 2026-06-24T10:22:42.636Z