algebras of splice are promonads

Last updated Aug 28, 2024

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