algebras of splice are promonads

Last updated Jan 8, 2025

Reference.

• The Categorical Contours of the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2024)
• Personal communication: Matt Earnshaw, Nathanael Arkor.

Tags: spliced arrows over a category