# Categorical construction of comodule category of FRT algebra

Let $$B\mathcal{B}$$ denote the braid groupoid, with objects being non-negative integers $$n∈Z≥0n \in \mathbb{Z}_{\geq 0}$$ and morphisms $$B(n,n)=Bn\mathcal{B}(n,n)=B_{n}$$ given by the braid group. Let $$C\mathcal{C}$$ be a cocomplete rigid symmetric monoidal abelian category and $$F:B→CF:\mathcal{B} \to \mathcal{C}$$ a monoidal functor. Moreover, let $$C:=∫b∈BF(b)∨⊗F(b)C:= \int^{b \in \mathcal{B}}\, F(b)^\vee \otimes F(b)$$ be the coend of $$FF$$ and $$V:=F(1)V:=F(1)$$.

Is there a “purely categorical construction” of a category $$CV\mathcal{C}_V$$ , s.t. there is a braided monoidal equivalence $$CV≅CC\mathcal{C}_V \cong \mathcal{C}^C$$ to the comodule category of the coalgebra $$CC$$ (which is actually a coquasitriangular bialgebra).

Here, by “purely categorical construction” I mean (up to order and missing intermediate steps) something along the lines of

• take free monoidal subcategory of $$C\mathcal{C}$$ generated by $$VV$$.
• close it under direct sums
• take the Karoubi envelope