3 ms·Space-time tradeoffs of lenses and optics via higher category theory [video]2 points by larve 4y ago