Mario Román

Search

Search IconIcon to open search

Lax optics

Last updated Sep 8, 2023

lax-optics

Tags: monoidal bicategory, Optics, Lax coend