linear functor



A linear category is a category enriched over Vect, and similarly a linear functor is a functor enriched over VectVect. Unwrapping this a bit: given objects x,yx, y in a linear category CC, the homset hom(x,y)hom(x,y) is equipped with the structure of a vector space, and a functor F:CDF: C \to D between linear categories is said to be linear if the map

F:hom(x,y)hom(F(x),F(y)) F: hom(x,y) \to hom(F(x), F(y))

is linear for all x,yCx,y \in C.

Note that a linear functor between linear additive categories is automatically additive.

Last revised on September 19, 2012 at 20:23:37. See the history of this page for a list of all contributions to it.