| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4596800 | Journal of Pure and Applied Algebra | 2011 | 13 Pages |
Abstract
An axiomatization of a finitary, equational universal algebra by a convergent term rewrite system gives rise to a finite, coherent categorification of the algebra.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
