Mario Román

Search

Monoidal spliced arrows

Last updated Feb 7, 2023

produoidal-category-of-splices

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

Mario Román, CC BY-SA 2023.

Home
ArXiv
Github