You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Thursday the 9th of September, 17:00 UTC
Abstract:
The notions of monoidal category, multicategory and closed category are closely related, with each having their own advantages. Considering the relationship between them leads naturally to skew variants - skew monoidal categories, skew multicategories and skew closed categories - and I will explore some of these variants in this talk.
Zoom: https://topos-institute.zoom.us/j/5344862882?pwd=Znh3UlUrek41T3RLQXJVRVNkM3Ewdz09
YouTube: https://youtu.be/89oFVIVXMYg
starting in half an hour!
I really enjoyed the talk very much! A very Australian way of introducing "skew structure", I thought. @Tarmo Uustalu have you seen the talk? I wonder whether you think John's introduction of skew structure works for you and whether it aligns with work of @Noam Zeilberger that I heard about.
sorry for the delayed reaction, John Bourke!
Hi Valeria! I'm not exactly sure what work you're referring to, as John's talk mentioned joint work by Tarmo, @Niccolò Veltri and myself. You can find all the papers (and Agda code!) on Niccolò's website. If you're interested, the best place to start might be the paper the sequent calculus of skew monoidal categories.
Thanks @Noam Zeilberger !
Hi @Valeria de Paiva! I did not have an opportunity to watch the video yet, but @Noam Zeilberger and @Niccolò Veltri did and both of them enjoyed John's presentation, in particular the perspective taken and the emphases. We do of course know the Australian work on skew structured categories (a dozen papers by now).
Thanks @Tarmo Uustalu !