Mario Román

Search

Search IconIcon to open search

Spliced arrows vs optics

Last updated Sep 8, 2023

spliced-arrows-vs-optics

Tags: promonoidal category, Optics, Promonoidal category of spliced arrows.