Mario Román
Search
Search Icon
Icon to open search
Lax optics
Last updated Sep 8, 2023
Tags
:
monoidal bicategory
,
Optics
,
Lax coend
