Mario Román

Search

Search IconIcon to open search

Monoidal spliced arrows

Last updated Feb 7, 2023

produoidal-category-of-splices

Tags: Produoidal category, Duoidal Tambara, Spliced arrows vs optics.