Mario Román

❯

❯

monoidal spliced arrows

monoidal spliced arrows

Jul 24, 20251 min read

produoidal-category-of-splices

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

Graph View

Backlinks

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

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

GitHub
ArXiv
OrcID