BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:The smash product of monoidal theories - Amar Hadz
ihasanovic
DTSTART:20210430T130000Z
DTEND:20210430T140000Z
UID:TALK4558AT
URL:/talk/index/4558
DESCRIPTION:The smash product of pointed spaces is a classical
construction of topology. The tensor product of p
rops\, which extends both the Boardman-Vogt produc
t of symmetric operads and the tensor product of L
awvere theories to more general “monoidal theories
”\, is a piece of categorical universal algebra.\n
In this talk\, we will see that the two are facets
of the same construction: a “smash product of poi
nted directed spaces”. Here\, “directed spaces” ar
e modelled by combinatorial structures called diag
rammatic sets\, developed as a homotopically sound
foundation for diagrammatic rewriting in higher d
imensions.\nMost interestingly\, the smash product
applies to presentations of higher-dimensional th
eories and systematically produces oriented equati
ons and higher-dimensional coherence data. This in
troduces a new synthetic\, compositional method in
rewriting on higher structures.\nThis talk is bas
ed on my preprint arXiv:2101.10361 with the same t
itle.
LOCATION:https://bham-ac-uk.zoom.us/j/82118141256?pwd=TWNqR
XpFclZ6RG1lNmQ4VTVGTXZFQT09
CONTACT:Miriam Backens
END:VEVENT
END:VCALENDAR