A functor satisfying various conditions implying that it is https://ncatlab.org/nlab/show/pro-representable+functor
fiber functor
-
2021-05-12
Such a category is tannakian if there exists a fiber functor : a symmetric tensor functor \(F: \cat{C} \to \Vect_{/k}\).