Mario Román

Search

monoidal spliced arrows

Last updated Feb 3, 2024

produoidal-category-of-splices

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

Mario Román, CC BY-SA 2024.

Home
ArXiv
Github