Abstract
This paper forms part of a project focusing on the development of homological and simplicial methods in rewriting. The purpose of this contribution is to generalize Kobayashi's theorem for monoids to “monoids with several objects”. Following Squier's theorem, Kobayashi constructs a resolution for monoids presented by convergent rewriting systems. We construct a free acyclic resolution for kC, as a C-bimodule over a commutative ring k, where C is a small category provided with a convergent presentation. This resolution, associated to the Knuth-Bendix completion algorithm, reflects the combinatorial properties of C. In particular, categories admitting finite convergent presentations by graphs and relations have a finite type Hochschild-Mitchell homology.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.