Spliced arrows vs opticsLast updated Feb 25, 2024Tags: promonoidal category, optics, Promonoidal category of spliced arrows.