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.
joaogui1 (he/him) (Mar 01 2021 at 23:21):Who here works at Topos Insitute? And what happened to lecture 4 from this course: https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5ZZd6wGv4WE9JNtAbUDNAp ?
John Baez (Mar 01 2021 at 23:24):@Paolo Perrone doesn't "work at the Topos Institute", but I think he helped record these lectures.
John Baez (Mar 01 2021 at 23:25):What do you mean by "lecture 4"? I see lectures like Lecture 1.4, Lecture 1.5, Lecture 3.2, etc.
John Baez (Mar 01 2021 at 23:26):These lectures were given at MIT, not the not-yet-created Topos Institute.
joaogui1 (he/him) (Mar 01 2021 at 23:29):It goes from 3.3 to 5.1
John Baez (Mar 01 2021 at 23:30):Are you sure there should have been a lecture 3.4?
John Baez (Mar 01 2021 at 23:31):There's not a lecture 5.4 or a lecture 2.3.
Spencer Breiner (Mar 01 2021 at 23:31):No lecture 4.X, period
joaogui1 (he/him) (Mar 01 2021 at 23:31):No, I mean there should have been a lecture 4.1
John Baez (Mar 01 2021 at 23:31):Oh, finally I get it.
joaogui1 (he/him) (Mar 01 2021 at 23:32):yep, that's what I'm finding weird
John Baez (Mar 01 2021 at 23:32):Maybe they didn't like the number 4. In Chinese it's an unlucky number. :upside_down:
John Baez (Mar 01 2021 at 23:33):I would imagine the numbers might correspond to the chapters in the book. Is that true?
Spencer Breiner (Mar 01 2021 at 23:34):I think you can find the links here:
https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/lecture-videos-and-readings/chapter-4-co-design-profunctors-and-monoidal-categories/
Spencer Breiner (Mar 01 2021 at 23:34):Just guessing at how those line up with the youtube videos, though
Tim Hosgood (Mar 01 2021 at 23:35):@Brendan Fong @David Spivak any ideas? if the videos that @Spencer Breiner linked to are indeed the right ones then I can change the titles and add them to the playlist
Tim Hosgood (Mar 01 2021 at 23:36):these seem to be from a different series though
joaogui1 (he/him) (Mar 01 2021 at 23:40):yeah, they link to the applied category theory playlist
Paolo Perrone (Mar 02 2021 at 08:16):Those lectures were recorded before I was at MIT, so I don't really know. I think David is the person to ask :)
Brendan Fong (Mar 02 2021 at 20:54):I can't remember exactly what happened to lecture 4, but I think there was some sort of technical issue and no recording exists. I recommend the 2019 set of lectures Spencer linked though. The content is the same, but they were delivered the following year and I think we got better. It's a bit longer though: 14 one hour lectures instead of 7 one-and-a-half hour lectures.
joaogui1 (he/him) (Mar 02 2021 at 23:32):Thanks!