Remark 2.20. PropositionΒ 2.19 implies that, for each symmetric monoidal -category , the restriction functor is fully faithful and the essential image consists of the locally constant -algebras.
This result also appears inΒ [Lu2] as TheoremΒ 5.4.5.9.