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: community: general

Topic: Announcement: Bohemian Logical & Philosophical Café


view this post on Zulip Ivan Di Liberti (Dec 28 2020 at 23:31):

Hello folks,

I am pleased to announce a new online seminar series: the Bohemian Logical & Philosophical Café.

The BLPC is a framework for webinars on current topics in a variety of areas,
including theoretical computer science, category theory, mathematical logic, and philosophy.

We will start the 26th of January at 16.00 Prague time (GMT+1) with our first speaker:

Michael Makkai
Notions of identity for and in higher dimensional categories.

Further speakers will include: Benno van den Berg, Jouko Väänänen, Jiří Rosický, Jeremy Avigad, André Joyal, and Mike Shulman.
Please check our webpage periodically for an updated list of speakers:

https://bohemianlpc.github.io

If you want stay updated with our calendar and you are too lazy to refresh the webpage, just join our Google Group to receive a periodical reminder of our events!

    https://groups.google.com/g/bohemianlpc

With best wishes for the New Year,

Ivan
(for the organizers)

view this post on Zulip Nikolaj Kuntner (Dec 29 2020 at 17:07):

@Ivan Di Liberti Is the youtube link still <u><a href="">youtube channel</a></u>, or is it my browser?

view this post on Zulip Nathanael Arkor (Dec 29 2020 at 17:12):

I think the proper links have not been added yet (the links for both Zoom and YouTube are currently blank).

view this post on Zulip Ivan Di Liberti (Dec 29 2020 at 20:14):

Nathanael Arkor said:

I think the proper links have not been added yet (the links for both Zoom and YouTube are currently blank).

That's correct, these details of the webpage are still under construction.

view this post on Zulip Antonin Delpeuch (Dec 30 2020 at 14:43):

Arf, I made a duplicate post about this in #general: events - shouldn't this post be moved there instead?

view this post on Zulip Nathanael Arkor (Dec 30 2020 at 14:46):

Maybe it'd be worth having a #general: announcements stream for this sort of thing.

view this post on Zulip Nathanael Arkor (Dec 30 2020 at 17:38):

@Ivan Di Liberti: is there a calendar feed for the seminar? That way, the seminar could be added to the public CT seminars calendar.

view this post on Zulip Ivan Di Liberti (Dec 30 2020 at 17:42):

Nathanael Arkor said:

Ivan Di Liberti: is there a calendar feed for the seminar? That way, the seminar could be added to the public CT seminars calendar.

Uhm, I just created a google group in order to have a mailing list. At the moment there is no calendar feed, but give me a couple of days and there will be. :)