We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vectκ, for κ a field of characteristic 0, has the structure of what we call a "unital" von Neumann core in Vectκ. For Vectκ, this particular notion of algebra is weaker than that of a Hopf algebra, although the corresponding concept in Set is again that of a group.
|Number of pages||20|
|Journal||Theory and Applications of Categories|
|Publication status||Published - 28 Jan 2009|
- Separable fibre functor
- Tannaka reconstruction
- Von Neumann core