Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations

Anne Heyworth

This thesis concentrates on the development and application of rewriting and Groebner basis methods to a range of combinatorial problems. Chapter Two contains the most important re…