Speaker
Simon Henry, University of Ottawa
Abstract
Rewriting theory is a set of methods that, given a “nice” presentation of an algebraic structure, for example a monoid, allows to build in a very algorithmic way a homotopy coherent presentation of some closely related homotopy theoretic structure like its homology or classifying space. I will give a brief introduction to rewriting and show how it can be used to, starting from a “nice presentation” of a category ( a confluent and terminating rewriting system) we can give a very concrete and explicit homotopy coherent presentation of it as a quasicategory. The result is as far as I know new in in this form, but its proof can actualy be found in a paper of Brown that predates the theory of quasicategories. This has lots of applications to quasicategories and I will present some of them. I believe it can be useful for formalization based on quasicategories and is an interesting challenge for model independent approaches.
Simon Henry, University of Ottawa
Abstract
Rewriting theory is a set of methods that, given a “nice” presentation of an algebraic structure, for example a monoid, allows to build in a very algorithmic way a homotopy coherent presentation of some closely related homotopy theoretic structure like its homology or classifying space. I will give a brief introduction to rewriting and show how it can be used to, starting from a “nice presentation” of a category ( a confluent and terminating rewriting system) we can give a very concrete and explicit homotopy coherent presentation of it as a quasicategory. The result is as far as I know new in in this form, but its proof can actualy be found in a paper of Brown that predates the theory of quasicategories. This has lots of applications to quasicategories and I will present some of them. I believe it can be useful for formalization based on quasicategories and is an interesting challenge for model independent approaches.