https://9lib.org/document/q0574j9x-natural-operators-lifting-projectable-product-preserving-functors-manifolds.html