TY  - RPRT
TI  - A Linear Category of Polynomial Functors (extensional part)
AU  - Hyvernat Pierre
PY  - 2014
DO  - 10.2168/lmcs-10(2:2)2014
UR  - https://arxiv.org/abs/1403.0833
ID  - 1403.0833
ER  -