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.
Christian Williams (Mar 23 2020 at 18:50):The MIT Category Theory Seminar: http://brendanfong.com/seminar.html
Christian Williams (Mar 23 2020 at 18:51):Soon, John Baez and our team at UC Riverside will host a seminar as well. We will post it here, and have discussions here.
James Fairbanks (Mar 23 2020 at 19:00):I gave a talk at the MIT seminar recently, here is the video. Thanks @Paolo Perrone for filming and posting it!
James Fairbanks (Mar 23 2020 at 19:01):https://www.youtube.com/watch?v=HYFZadQSx8A
Jules Hedges (Mar 23 2020 at 19:03):I was thinking to create a stream specifically for seminar/stream announcements, is this intended to be that?
James Fairbanks (Mar 23 2020 at 19:03):this seems like a good stream for it.
Jules Hedges (Mar 23 2020 at 19:04):If so I don't think the name is very descriptive
James Fairbanks (Mar 23 2020 at 19:05):I think this stream is a catch
James Fairbanks (Mar 23 2020 at 19:05):all for community activities. and this thread is for virtual seminars
Christian Williams (Mar 23 2020 at 19:06):a whole stream just for announcements? that seems like something we can do with one topic.
Jules Hedges (Mar 23 2020 at 19:07):Fair enough
John Baez (Mar 23 2020 at 19:12):I think a stream for announcements of activities would not be bad; then you can go there to see what's happening.
I'm predicting this thing will get big. I could be wrong. But if you look at how many topics we've got going on our ACT@UCR zulip, and you multiply that by just 5, it'll get unwieldy if we don't have good organization here.
Of course we can wait and see.
philip hackney (Mar 23 2020 at 19:21):I should share that there's an online workshop this week, including stuff on (∞,n)-categories: https://www.msri.org/workshops/918
philip hackney (Mar 23 2020 at 19:21):philip hackney said:
I should share that there's an online workshop this week, including stuff on (∞,n)-categories: https://www.msri.org/workshops/918
Probably the most relevant stuff for this community comes Wednesday and beyond.
Christian Williams (Mar 23 2020 at 19:23):(hey Philip, I think you only need to "quote and reply" when there's some message farther back in the conversation that you want to address.)
John Baez (Mar 23 2020 at 20:29):Hey @David Spivak - would you be interested in encouraging discussions of the MIT category theory seminars to take place here? We're hoping this will become a lively place for such conversations - and it's got LaTeX. We're gonna hold discussions for the ACT@UCR seminar here.
Paolo Perrone (Mar 23 2020 at 20:33):John Baez said:
Hey David Spivak - would you be interested in encouraging discussions of the MIT category theory seminars to take place here? We're hoping this will become a lively place for such conversations - and it's got LaTeX. We're gonna hold discussions for the ACT@UCR seminar here.
I think it's a good idea
David Spivak (Mar 23 2020 at 20:33):we're discussing that now, but it seems promising
John Baez (Mar 23 2020 at 20:38):Okay, I'm glad you're considering it. If a number of seminars use this place as their discussion forum, it'll be quite lively and nice, I think.
Jules Hedges (Mar 23 2020 at 21:40):Once we get somewhat organised we should be able to get a google calendar instance or something similar, for keeping track of all the seminars
Joe Moeller (Mar 23 2020 at 22:15):I also think it would be good to have a stream for events. Each event could be a topic. That way conversations about events could be easily distinguishable.
John Baez (Mar 23 2020 at 22:18)::+1:
John Baez (Mar 24 2020 at 01:54):Coronavirus is forcing massive changes on the academic ecosystem, and here's another:
We're having a seminar on applied category theory at U. C. Riverside, organized by Joe Moeller and Christian Williams.
It will take place on Wednesdays at 5 pm UTC (that is, 5 pm in the UK), which is 10 am Pacific Time or 1 pm Eastern Time in the United States. It will be held online via Zoom, here:
https://ucr.zoom.us/j/607160601
We will have discussions online here:
https://categorytheory.zulipchat.com/
The first two talks will be:
• Wednesday April 1st, John Baez: Structured cospans and double categories.
• Wednesday April 8th, Prakash Panangaden: to be determined.
John Baez (Mar 24 2020 at 01:56):Here is some information from Zoom on how to join the seminar - there are lots of ways!
Topic: ACT@UCR seminar
Time: Apr 1, 2020 10:00 AM Pacific Time (US and Canada)
Every 7 days, 10 occurrence(s)
Apr 1, 2020 10:00 AM
Apr 8, 2020 10:00 AM
Apr 15, 2020 10:00 AM
Apr 22, 2020 10:00 AM
Apr 29, 2020 10:00 AM
May 6, 2020 10:00 AM
May 13, 2020 10:00 AM
May 20, 2020 10:00 AM
May 27, 2020 10:00 AM
Jun 3, 2020 10:00 AM
Please download and import the following iCalendar (.ics) files to your calendar system.
Daily: https://ucr.zoom.us/meeting/u5Qqdu-oqDsrnNuE0v8386uhHBWr4GQpqA/ics?icsToken=98tyKu-oqTosGtKVsVyCY7ctA8Hib9_ykH9gv4YNike2W3ZGaivUAfAWFYNvAfmB
Join Zoom Meeting
https://ucr.zoom.us/j/607160601
Meeting ID: 607 160 601
One tap mobile
+16699006833,,607160601# US (San Jose)
+13462487799,,607160601# US (Houston)
Dial by your location
+1 669 900 6833 US (San Jose)
+1 346 248 7799 US (Houston)
+1 646 876 9923 US (New York)
+1 253 215 8782 US
+1 301 715 8592 US
+1 312 626 6799 US (Chicago)
Meeting ID: 607 160 601
Find your local number: https://ucr.zoom.us/u/adkKXYyiHq
Join by SIP
607160601@zoomcrc.com
Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
221.122.88.195 (China)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (EMEA)
103.122.166.55 (Australia)
209.9.211.110 (Hong Kong)
64.211.144.160 (Brazil)
69.174.57.160 (Canada)
207.226.132.110 (Japan)
Meeting ID: 607 160 601
John Baez (Mar 24 2020 at 02:35):I'm not allowed to edit my own posts here! Toby Bartels points out that UK is on Summer Time starting next week, so not UTC. The seminar is at 5 pm UTC.
Christian Williams (Mar 24 2020 at 03:08):I'm not sure why you can't edit your posts. is it like this for others?
Christian Williams (Mar 24 2020 at 03:22):ah of course, sorry everyone. it's fixed.
John Baez (Mar 24 2020 at 03:51):Let me try again. (Your change doesn't retroactively let me edit my posts.)
John Baez (Mar 24 2020 at 03:53):Coronavirus is forcing massive changes on the academic ecosystem, and here's another:
We're having a seminar on applied category theory at U. C. Riverside, organized by Joe Moeller and Christian Williams.
It will take place on Wednesdays at 5 pm UTC, which is 10 am Pacific Time or 1 pm Eastern Time in the United States. It will be held online via Zoom, here:
https://ucr.zoom.us/j/607160601
We will have discussions online here:
https://categorytheory.zulipchat.com/
The first two talks will be:
• Wednesday April 1st, John Baez: Structured cospans and double categories.
• Wednesday April 8th, Prakash Panangaden: to be determined.
John Baez (Mar 24 2020 at 03:57):I guess the seminar will be at 6 pm in England, since they'll be on British Summer Time by then.
Antonin Delpeuch (Mar 24 2020 at 10:57):Nice! I will try to attend yours @John Baez as I have worked a bit on double categories recently :)
Paolo Perrone (Mar 25 2020 at 03:10):Hey all. We now have a dedicated stream "MIT Categories Seminar" (on this server) for all the discussions related to that seminar, and for asking questions during the talk. Here's the full link, https://categorytheory.zulipchat.com/#narrow/stream/229457-MIT-Categories.20Seminar
Blake Pollard (Mar 26 2020 at 17:29):Noah Chrein is running an ACT seminar at the University of Maryland, Thursdays, 2pm EST. I created a stream for the seminar. Spencer Breiner gave a talk a week or two ago. This week's speaker is Mike Rawson who will tell us about some methods in persistence homology. The Zoom meeting id is 444 685 053. I'll post a link once I get one.
Blake Pollard (Mar 26 2020 at 17:30):Please come join to get your daily double dose of CT seminars!
Evan Patterson (Mar 26 2020 at 18:36):Amazing to see so many virtual seminars on offer, but I am now struggling to keep up! Would it be possible to organize a community calendar? It'd be great to be able to see the events happening in a week at a glance.
Christian Williams (Mar 26 2020 at 18:37):great idea. I think @Jules Hedges was proposing this in #meta . we should
Christian Williams (Mar 26 2020 at 18:43):it's pretty easy to make a shared Google calendar which people can update.
Mike Stay (Mar 26 2020 at 18:45):@Blake Pollard This one? https://www-math.umd.edu/research/seminars/applied-category-theory.html
Christian Williams (Mar 26 2020 at 18:51):right now, is HoTTEST overlapping with the MIT Seminar?
Blake Pollard (Mar 26 2020 at 18:59):Mike Stay said:
Blake Pollard This one? https://www-math.umd.edu/research/seminars/applied-category-theory.html
Yep. Although, the Zoom info isn't on that page.
Jake Gillberg (Mar 29 2020 at 23:02):https://www.csail.mit.edu/event/eecs-special-seminar-oded-padon-verification-distributed-protocols-using-decidable-logics Anyone know the online location of this seminar, or if it will be recorded and posted?
Bryan Bischof (Mar 31 2020 at 18:22):Has anyone started offering digital "office hours"? I'm someone who frequently misses the resource I used to have in academia, and would love an opportunity to ask some (not always but frequently) basic questions in a more synchronous way. Especially oriented around papers that I'm trying to read. I respect that this is presumptuous on peoples time; the idea is inspired from other areas of academics that i've seen posting about public office hours.
Reid Barton (Mar 31 2020 at 18:30):Dev Sinha is actually offering such office hours for his algebraic topology seminar (which was advertised on this site earlier).
Gershom (Apr 16 2020 at 00:15):The NY Categories Seminar will have our first online talk on Wednesday the 22nd at 7pm EST:
· Speaker: Nicholas Meadows, Haifa University.
· Date and Time: Wednesday April 22, 2020, 7:00 - 8:30 PM., Zoom Meeting.
· Title: Higher Homotopy Operations in (\infty, 1)-categories.
· Abstract: Traditionally, higher homotopy operations have three
primary applications in homotopy theory: generating elements in the
higher homotopy groups of spheres, as an obstruction theory to
rectifying homotopy commutative diagrams and describing differentials
in the spectral sequence of a (co)simplicial space. In this talk, we
will define the spiral spectral sequence (which recovers the classical
Bousfield-Friedlander spectral sequence from the E^{2} page on) in an
arbitrary simplicial model category and describe the differentials in
terms of higher homotopy operations. We will also explain how to
represent elements in the filtration of the spiral spectral sequence
as higher homotopy operations. Finally, we will sketch how one can
define analogous higher homotopy operations in quasi-categories and
simplicially enriched categories. .
Zoom Meeting Information.
https://us02web.zoom.us/j/86383090855?pwd=ZGxZd1dnV1MySjg5MjRUY1k1bkFQQT09
Meeting ID: 863 8309 0855
Password: 066446
John Baez (Apr 16 2020 at 00:22):Great! Is this category theory seminar on our calendar?
Gershom (Apr 16 2020 at 01:22):Nope. I don't know how to add it. I'm not sure if we will be doing this regularly or just sporadically (we had this scheduled before the lockdown), depends how this goes and how much energy we have to keep going, I suppose :-)
Daniel Geisler (Apr 16 2020 at 01:24):I'll see what I can do, or I will get more rights to edit the calendar.
Daniel Geisler (Apr 16 2020 at 23:55):OK, I added a fifth calendar for the NY Categories Seminars. There is only one talk listed so far. I went to the website but didn't see any other talks to be given.
সায়ন্তন রায় (May 15 2020 at 15:16):I think it may not be completely out of place to mention here that Ravi Vakil is organizing an Algebraic Geometry webinar. For details see here.
John Baez (May 15 2020 at 20:10):Thanks! I guess it's a kind of "course".
Saw-mon & Natalie (May 15 2020 at 21:30):Does anyone know if there are geometry/topology webinars similar to the ones here (with zulip servers for discussions or even telegram groups?
John Baez (May 15 2020 at 21:55):There are vast numbers of online math talks listed here:
You can filter them by topic to get whatever topics you want.
John Baez (May 15 2020 at 21:57):Next Monday there are 6 talks in differential geometry, general topology and geometric topology!