1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.CT2009
Coherence for rewriting 2-theories
Jonathan Asher Cohen
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere…
math.CT2008
Coherent presentations of structure monoids and the Higman-Thompson groups
Jonathan A. Cohen
Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational…
math.CT2007★ 1 cited
Coherence without unique normal forms
Jonathan A. Cohen
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent…