collaborators

1 paper

math.CT2016

A Constructive Proof of Coherence for Symmetric Monoidal Categories Using Rewriting

Matteo Acclavio

A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties…