Construction of coend and the reconstruction theorem of bialgebras

Kun Zhou

Assume $k$ is a field and let $F:C\to Vec{t}_k$ be a small $k$-linear functor from a $k$-linear abelian category $C$ to the category of vector spaces over the field $k$, th…