Coherence for rewriting 2-theories - Mathematics > Category TheoryReportar como inadecuado

Coherence for rewriting 2-theories - Mathematics > Category Theory - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: General coherence theorems are constructed that yield explicit presentationsof categorical and algebraic objects.
The categorical structures involved arefinitary discrete Lawvere 2-theories, though they are approached within thelanguage of term rewriting theory.
Two general coherence theorems are obtained.The first applies to terminating and confluent rewriting 2-theories.
Thisresult is exploited to construct systematic presentations for the higherThompson groups and the Higman-Thompson groups.
The presentations arecategorically interesting as they arise from higher-arity analogues of theStasheff-Mac Lane coherence axioms, which involve phenomena not present in theclassical binary axioms.
The second general coherence theorem holds for2-theories that are not necessarily confluent or terminating and is used toconstruct a new proof of coherence for iterated monoidal categories, whicharise as categorical models of iterated loop spaces and fail to be confluent.

Autor: Jonathan Asher Cohen



Documentos relacionados