Tannaka-Krein reconstruction for fusion 2-categories

We reprove the classical Tannaka-Krein reconstruction theorem by finding a monoidal equivalence of categories between a 1-truncated sub-2-category of the slice 2-category $\mathsf{M}\mathsf{o}\mathsf{d}(\mathsf{V}\mathsf{e}\mathsf{c})\mathrm{/}\mathsf{V}\mathsf{e}\mathsf{c}$ and the category of algebras. We then immediately generalize this approach to find a monoidal equivalence of 2-categories between a 2-truncated sub-3-category of the slice 3-category $\mathsf{M}\mathsf{o}\mathsf{d}(\mathsf{T}\mathsf{w}\mathsf{o}\mathsf{V}\mathsf{e}\mathsf{c})\mathrm{/}\mathsf{T}\mathsf{w}\mathsf{o}\mathsf{V}\mathsf{e}\mathsf{c}$ and the category of algebras. As an immediate consequence, a finite semisimple 2-Hopf algebra $C$ can be recovered from its fusion 2-category of modules together with the monoidal fiber 2-functor to $\mathsf{T}\mathsf{w}\mathsf{o}\mathsf{V}\mathsf{e}\mathsf{c}$. Moreover, every fusion 2-category equipped with a monoidal functor to $\mathsf{T}\mathsf{w}\mathsf{o}\mathsf{V}\mathsf{e}\mathsf{c}$ is of this form.