Up2, indexed monoidal functors, showing we can lift anything with limits