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: Introduction


view this post on Zulip Tim Hosgood (Dec 26 2020 at 13:05):

The MIT (Applied) Categories Seminar has now ended (and many thanks to all those involved in hosting and speaking at it). Next year, however, we'll be starting a spiritual successor, the "Topos Colloquium” (https://topos.site/seminars), hosted by the Topos Institute (https://topos.institute). This will be at a new Zoom link and a new mailing list. If you wish to be subscribed to the mailing list, then how you do so depends on whether or not you have a Google account:

— If you do have a Google account (not necessarily linked to a @gmail address), then just send a blank email to seminars+subscribe@topos.institute

— If you do not have a Google account, then please send an email with the subject line “subscribe” to tim@topos.institute

At some point in January we will send out an email to the mailing list with details about the first talk, which is tentatively scheduled for the 4th of February, 2021.

If you have any questions, then please direct them to tim@topos.institute as well!

view this post on Zulip Michael (Dec 26 2020 at 14:10):

Subscribe

view this post on Zulip Tim Hosgood (Dec 26 2020 at 17:45):

sorry, to subscribe you have to send an email, not a message to this stream

view this post on Zulip John Baez (Dec 26 2020 at 19:03):

Cool! Btw, if you don't mind me asking, what's your connection to the Topos Institute, Tim?

view this post on Zulip Nathanael Arkor (Dec 26 2020 at 19:03):

Will the details be posted here too?

view this post on Zulip Tim Hosgood (Dec 26 2020 at 19:22):

I’m an associate researcher there, maybe working on a project in a few months :) apart from that, I’m just helping out with various administrative tasks on the side

view this post on Zulip Tim Hosgood (Dec 26 2020 at 19:22):

and yes, I’ll make a note to post details here when they’re available too

view this post on Zulip Tim Hosgood (Dec 26 2020 at 19:24):

(I’m also working in the Oxford offices of Topos, which are located in the attic of the CQC office building) (or, at least, this will be the case when offices open again)

view this post on Zulip John Baez (Dec 26 2020 at 19:35):

Cool! I'm glad to hear you're involved.

I hope they reopen the attic soon! :upside_down:

view this post on Zulip Tim Hosgood (Dec 26 2020 at 19:55):

thanks! and fingers crossed!

view this post on Zulip Nathanael Arkor (Feb 11 2021 at 18:50):

@Tim Hosgood: would it be possible to create a https://researchseminars.org/ entry for this seminar?

view this post on Zulip John Baez (Feb 11 2021 at 19:11):

Yeah, really! That's how you announce a math seminar to the whole world these days.

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:12):

[Quoting…]
somebody else mentioned this to me, and i truly meant to do it, but i just never got around to it. can it be synced from a google calendar, or does each talk need to be input manually?

view this post on Zulip John Baez (Feb 11 2021 at 19:13):

I don't know.

view this post on Zulip John Baez (Feb 11 2021 at 19:13):

I put 'em in manually but I'm a manual kind of guy.

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:14):

I can always do that, but I was just hoping for a way that didn't mean I had to manually put each talk on the website, the calendar, and this website too...

view this post on Zulip John Baez (Feb 11 2021 at 19:16):

I'm sure you're not the first to have had that kind of thought.... so they must have people asking them this all the time.

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:16):

could you possible endorse me please John? (or anybody else reading this). apparently this is necessary before I can make a seminar series publicly viewable

view this post on Zulip John Baez (Feb 11 2021 at 19:17):

Okay, where do I endorse you?

I HEREBY ENDORSE TIM HOSGOOD!!

view this post on Zulip John Baez (Feb 11 2021 at 19:18):

Btw, just to annoy you, I'm gonna change my Topos talk title and abstract sometime: Brendan said something on broader themes would be nice.

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:19):

"To be endorsed to create conferences and seminars, please find someone you know in the first column below, and manually contact them to ask them to visit their Account page to endorse you. Make sure to tell them which email address to endorse!"

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:19):

my email is tim@topos.institute

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:19):

John Baez said:

Btw, just to annoy you, I'm gonna change my Topos talk title and abstract sometime: Brendan said something on broader themes would be nice.

I will let you change it this once :wink:

view this post on Zulip John Baez (Feb 11 2021 at 19:24):

Okay, then I'll endorse you. :upside_down:

You are hereby endorsed!

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:26):

thank you, it's now live! https://researchseminars.org/seminar/ToposInstituteColloquium

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:26):

I'll update it after the talk tonight

view this post on Zulip Nathanael Arkor (Feb 11 2021 at 19:47):

Tim Hosgood said:

I can always do that, but I was just hoping for a way that didn't mean I had to manually put each talk on the website, the calendar, and this website too...

You can definitely get the calendar from the researchseminars website. I'm not sure about the other way around.

view this post on Zulip Nathanael Arkor (Feb 11 2021 at 19:49):

John Baez said:

Btw, just to annoy you, I'm gonna change my Topos talk title and abstract sometime: Brendan said something on broader themes would be nice.

I don't know: there's something intriguing about "[Title TBA]".

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:54):

I can't remember who runs the community CT calendar, but is it possible for that to pull from researchseminars instead of the custom google calendar that I made?

view this post on Zulip Tim Hosgood (Feb 11 2021 at 19:54):

that means I have one less thing to update (and potentially mess up)

view this post on Zulip Nathanael Arkor (Feb 11 2021 at 20:01):

I believe the calendar already pulls in some talks from researchseminars, so that should be possible. cc @Matteo Capucci (he/him)

view this post on Zulip Matteo Capucci (he/him) (Feb 25 2021 at 12:27):

@Tim Hosgood has today's talk been rescheduled?

view this post on Zulip Peter Arndt (Feb 25 2021 at 13:05):

Next talk is scheduled for March 11, according to the topos institute homepage

view this post on Zulip Tim Hosgood (Feb 25 2021 at 14:50):

Matteo Capucci (he/him) said:

Tim Hosgood has today's talk been rescheduled?

yes, sorry, I mentioned it before/after the last talk, but should have thought to post here. there was some problem with overlapping times for the speaker, so the talk was postponed

view this post on Zulip Tim Hosgood (Feb 25 2021 at 14:54):

we're currently on a small "colloquium holiday", but will resume on the 11th of March with a talk by Samson Abramsky :smile:

view this post on Zulip Tim Hosgood (Feb 25 2021 at 14:55):

there will be more talks added to the calendar very soon, but I'm trying to have a week off after every four or five talks, in the hopes that it might help people to get less Zoom fatigued and tired of online things

view this post on Zulip Matteo Capucci (he/him) (Feb 25 2021 at 16:16):

That's great!

view this post on Zulip Matteo Capucci (he/him) (Feb 25 2021 at 16:16):

No problem