Spliced arrows vs optics

Last updated Oct 7, 2024

Tags: multicategory - promonoidal category, optics, Promonoidal category of spliced arrows.