Minimality of the system of seven equations for the category of finite sets

DOI10.1016/S0304-3975(97)81498-3zbMath0903.18001MaRDI QIDQ1392285

A. Massol

Publication date: 23 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

algebraic theoriesrewriting systemsword problemsmonoidal category of finite sets

Mathematics Subject Classification ID

Related Items (3)

Towards an algebraic theory of Boolean circuits. ⋮ Coherence for modalities ⋮ The structure of first-order causality

Cites Work

• Higher-dimensional word problems with applications to equational logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimality of the system of seven equations for the category of finite sets