Tue 14 Mar 2006
A construction of a quotient tensor category.
Let be a surjective homomorphism of transitive groupoid schemesand let denote the kernel of . The exact sequence of groupoid schemes induces a sequence of functors between the categoriesof finite representations of these groupoid schemes . We show that the category is a quotient category of by in an appropriate sense. We also generalize this setting tothe framework where the tensor categories are not necessarily Tannakacategories (i.e. not of the form for some groupoid scheme), where we show under certain assumption the uniqueness of the quotienttensor category.



