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…