Mario Román
Search
Search Icon
Icon to open search
Lax optics
Last updated Feb 25, 2024
Tags
:
monoidal bicategory
,
optics
,
Lax coend
