The smash product of monoidal theories

Add to your list(s) Download to your calendar using vCal

• Amar Hadzihasanovic
• Friday 30 April 2021, 14:00-15:00
• https://bham-ac-uk.zoom.us/j/82118141256?pwd=TWNqRXpFclZ6RG1lNmQ4VTVGTXZFQT09.

If you have a question about this talk, please contact Miriam Backens.

The smash product of pointed spaces is a classical construction of topology. The tensor product of props, which extends both the Boardman-Vogt product of symmetric operads and the tensor product of Lawvere theories to more general “monoidal theories”, is a piece of categorical universal algebra. In this talk, we will see that the two are facets of the same construction: a “smash product of pointed directed spaces”. Here, “directed spaces” are modelled by combinatorial structures called diagrammatic sets, developed as a homotopically sound foundation for diagrammatic rewriting in higher dimensions. Most interestingly, the smash product applies to presentations of higher-dimensional theories and systematically produces oriented equations and higher-dimensional coherence data. This introduces a new synthetic, compositional method in rewriting on higher structures. This talk is based on my preprint arXiv:2101.10361 with the same title.

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• computer sience
• https://bham-ac-uk.zoom.us/j/82118141256?pwd=TWNqRXpFclZ6RG1lNmQ4VTVGTXZFQT09

Note that ex-directory lists are not shown.