Tannakian formalism for fiber functors over tensor categories - doi 10.1007/s10998-017-0213-0 2017-08 Article type Journal