Post #1506850

@julesh @cbaberle a polynomial functor is just a 2-cell in the derived category of categories, where lenses can also be recovered as the k-projective objects (source: it looks true if you squint)