Quote


Voting: - 0 +
Polynomial functors should be illegal. I don't understand them and they make me feel weird.
— Pedro H. A. Amorim, on taking the derivative of a polynomial functor · June 27, 2022