Pith. sign in

REVIEW 2 cited by

Q-system completion is a 3-functor

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2106.12437 v1 pith:AJVNMRKF submitted 2021-06-23 math.QA math.CTmath.OA

classification math.QAmath.CTmath.OA
keywords completionq-systemcategoriesdaggerfunctoridempotentpropertyprove
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Q-systems are unitary versions of Frobenius algebra objects which appeared in the theory of subfactors. In recent joint work with R. Hern\'andez 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the Higher Categorical Structure of Topological Defects in Quantum Field Theories

    math-ph 2025-05 conditional novelty 7.0 of 10

    Categories of topological defects with arbitrary tangential structures are proposed to be structured higher dagger categories, proven for stable structures admitting direct sums under the stratified cobordism hypothesis.

  2. Orthonormal bases for higher Hilbert spaces

    math.QA 2026-08 conditional novelty 6.0 of 10

    For finite-dimensional 3-Hilbert spaces, orthonormal bases exist uniquely up to contractible choice, and the Yoneda embedding into the presheaf 3-Hilbert space is an isometric equivalence.

Pith tools