Coherence for Skew-Monoidal Categories

zbMath1464.18018arXiv1406.2064MaRDI QIDQ4995162

Tarmo Uustalu

Publication date: 23 June 2021

Full work available at URL: https://arxiv.org/abs/1406.2064

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formalization of mathematics in connection with theorem provers (68V20) Bimonoidal, skew-monoidal, duoidal categories (18M50)

Related Items (7)

Eilenberg-Kelly reloaded ⋮ The sequent calculus of skew monoidal categories ⋮ Coherence via focusing for symmetric skew monoidal categories ⋮ Proof Theory of Partially Normal Skew Monoidal Categories ⋮ Free skew monoidal categories ⋮ Unnamed Item ⋮ The Sequent Calculus of Skew Monoidal Categories

Uses Software

• Agda

This page was built for publication: Coherence for Skew-Monoidal Categories