A Linear Category of Polynomial Functors (extensional part) (Logical Methods in Computer Science, 2014)