In category theory, a branch of mathematics, a fiber functor is a faithful k-linear tensor functor from a tensor category, to the category of finite-dimensional k-vector spaces.