Higher-Dimensional Rewriting and Algebra

4th edition of the workshop
July 7, 2018, Oxford, United Kingdom
Satellite workshop of FSCD 2018.

Overview

Rewriting consists in orienting equalities. This seemingly simple point of view has given rise to a rich theory, which was first developped in computer science for handling strings and terms, and was then extended over the recent years to many other settings (operads, monoidal categories, higher categories, etc.), allowing it to have applications in algebra, homotopy theory and physics. All these generalizations fit into the general scope of higher-dimensional rewriting theory, which has emerged as a unifying algebraic framework.

The aim of the workshop is to gather people interested in pushing further rewriting theory, using (higher) category theory as a common language. It is open to all topics concerning higher-dimensional generalizations and applications of rewriting theory, including

Invited Speakers

TBA

Programme

TBA

Venue

TBA

Important Dates

Organization Committee

Program Committee

Past editions