Q-system completion is a 3-functor

Abstract

Q-systems are unitary versions of Frobenius algebra objects which appeared in the theory of subfactors. In recent joint work with R. Hernández Palomares and C. Jones, the authors defined a notion of Q-system completion for C*/W* 2-categories, which is a unitary version of a higher idempotent completion in the spirit of Douglas--Reutter and Gaiotto--Johnson-Freyd. In this article, we prove that Q-system completion is a dagger 3-functor on the dagger 3-category of C*/W* 2-categories. We also prove that Q-system completion satisfies a universal property analogous to the universal property satisfied by idempotent completion for 1-categories.

arXiv comment26 pages, many tikz figures

References in corpus (7)

• Fusion 2-categories and a state-sum invariant for 4-manifolds
• A Quillen model structure for Gray-categories
• Quasistrict symmetric monoidal 2-categories via wire diagrams
• Q-system completion for C* 2-categories
• Multifusion Categories and Finite Semisimple 2-Categories
• Condensations in higher categories
• The tricategory of formal composites and its strictification

Cited by in corpus (2)

• Q-system completion for C* 2-categories
• Multifusion Categories and Finite Semisimple 2-Categories