Linear Functors and their Fixed Points