加载中…
A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category or a C*-2-category. We prove that, for C*-2-categories and , the C*-2-category of --functors, --transformations and --modifications is Q-system complete, whenever is Q-system complete. We use this result to provide a characterisation of Q-system complete categories in terms of --functors and to prove that the -category of actions of a unitary fusion category on C*-algebras is Q-system complete.

生成讲解博客的中文版本

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