Mario Román
Search
Search Icon
Icon to open search
Lax optics
Last updated Oct 4, 2022
Tags
:
Monoidal bicategory
,
Optics
,
Lax coend