Category Theory
Zulip Server
Archive

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.


Stream: event: Topos Colloquium

Topic: John Bourke: "Tensor products, multimaps and internal homs"


view this post on Zulip Tim Hosgood (Sep 02 2021 at 17:05):

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

view this post on Zulip Tim Hosgood (Sep 09 2021 at 16:29):

starting in half an hour!

view this post on Zulip Valeria de Paiva (Sep 16 2021 at 00:04):

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.

view this post on Zulip Valeria de Paiva (Sep 16 2021 at 00:06):

sorry for the delayed reaction, John Bourke!

view this post on Zulip Noam Zeilberger (Sep 16 2021 at 07:10):

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.

view this post on Zulip Valeria de Paiva (Sep 16 2021 at 13:10):

Thanks @Noam Zeilberger !

view this post on Zulip Tarmo Uustalu (Sep 16 2021 at 14:14):

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).

view this post on Zulip Valeria de Paiva (Sep 16 2021 at 14:21):

Thanks @Tarmo Uustalu !