3 ms·This has to do with category theory and programming notions of optics and lenses.by birttAdenors 1y agoThis has to do with category theory and programming notions of optics and lenses.