Mario Román

❯

❯

❯

monoidal spliced arrows

monoidal spliced arrows

Apr 29, 20251 min read

produoidal-category-of-splices

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

Graph View

Backlinks

Monoidal Context Theory, PhD Thesis (Román, 2023)
Algebra of splice
Motivating normalization of splice
Produoidal contour
produoidal category

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID