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 theories; rewriting systems; word problems; monoidal category of finite sets

Mathematics Subject Classification ID

68Q70: Algebraic theory of languages and automata

68Q42: Grammars and rewriting systems

18C10: Theories (e.g., algebraic theories), structure, and semantics

18B20: Categories of machines, automata

18B05: Categories of sets, characterizations

Related Items

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

Cites Work

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