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.
Jean-Baptiste Vienney (Nov 08 2023 at 17:06):Edit: "As a similar idea to the one of making a research seminar on Color Logic", why not making an online seminar on category theory where in particular, you could talk about Color Logic as much as you want? I would be very motivated into parcipitating in such a seminar, even be invested into the organization. One reason is that I wanted to make our friend @Felix Dilke, who made his programming language Bewl dedicated to toposes, invited at the logic seminar of the University of Ottawa, but my request has been completely ignored so I think that it would be good to create a seminar which is based on more modern principles: let anybody who has something valuable to say talk, promote collaboration, help people to learn etc... There could be research talks and also lot of tutorials to help people learn. Maybe even some talks open to lot of people on the basics of category theory. And of course, if it is online, it will be for people from anywhere around the earth.
Jean-Baptiste Vienney (Nov 08 2023 at 17:15):Ok, good, maybe we can do another topic with "moved". I don't know how to do this. We are already 2 people motivated by this :tada:
Jean-Baptiste Vienney (Nov 08 2023 at 17:15):Ok, I understood how to do this
Notification Bot (Nov 08 2023 at 17:16):5 messages were moved here from #community: general > wiki: Color Logic by Jean-Baptiste Vienney.
Jean-Baptiste Vienney (Nov 08 2023 at 17:26):If you're interested in such a project, please indicate it by putting a :+1: below. It would be useful only if people are interested.
Jean-Baptiste Vienney (Nov 08 2023 at 17:37):I would be interested into inviting people to make tutorials on lots of current research topics which are either in category theory or at least loosely linked to category theory such as:
Jean-Baptiste Vienney (Nov 08 2023 at 17:43):I would want it to be a place to help people learn effectively, not just to promote each person's own research. There could also be classic research talks. Also talks to present ongoing or finised master/phd thesis and talks about category theory in industry.
Jean-Baptiste Vienney (Nov 09 2023 at 16:46):I'm glad that a good bunch of people are interested! I'm thus planning to try starting this seminar. I'm going to ask various people if they would want to make talks and then I think it could start at the beginning of January. I think it will be a weekly seminar and we'll decide before it starts on what day and at what time it will happen. It could be a fixed time or maybe a various time but only on the same day, for instance say, on Wednesday. I'll contact again the potential speakers to fix a schedule when we know at what time and day we want the seminar to happen. I'll likely put the schedule on a nlab page and also announce occurences of the seminar on Zulip. Recordings of the talks should be put on a YouTube channel.
The time will likely be more adapted for people in America but we'll see depending on who wants to come.
I would like that the talks are made in a somehow logical order on a more or less fixed theme for some period of time. For instance, I'd like to start with talks on everything related to topology and category theory. For example there could be tutorials on each of these topics: sheaf theory, toposes, Bewl, locales, Scott topology, homotopy theory, homotopy type theory, schemes, -homotopy theory. We could have research talks at the end on recent progresses. Hopefully, such a theme will take a few weeks or months to cover and after that we'll switch to something else. Say for instance geometry and category theory, or higher categories, or Curry-Howard or anything else.
We could maybe decide democratically of the themes to cover and who to invite. Anyway, all the people interested can share their toughts here.
Eric M Downes (Mar 15 2024 at 19:55):Did this ever happen?
If not... do you want help making it happen?
Morgan Rogers (he/him) (Mar 16 2024 at 07:52):It's possible that JB didnt get enough responses just because there are already CT seminars organised in various places, including some available online such as ItaCa.
Eric M Downes (Mar 16 2024 at 09:44):@Jean-Baptiste Vienney if you do want a hand, reach out! If you've decided there are better uses of your time; good luck!
Jean-Baptiste Vienney (Mar 22 2024 at 03:54):I'm sorry I didn't do exactly what I wrote -- like inviting people and trying to start this seminar in January. I've been more concerned about other issues like my comprehensive exams etc... It looks like there is still interest so I think I should make an effort to really make it happen! I want to say, and I hope this time it will be real, that it could start in June.
Instead of inviting people by sending mails, it may be simpler to ask the numerous people here if they are interested in giving a talk!
Without yet thinking to a date, a time etc... if you're interested in giving a talk in this yet-to-be-started seminar, please indicate it below by posting a message, preferably with a title but it's also ok to say you're interested but don't yet know the precise topic you want to talk about.
Jean-Baptiste Vienney (Mar 22 2024 at 03:55):I'll start with my proposal for a talk! I'm interested in giving a talk on "The binomial theorem for biadditive algebras in cartesian left additive categories".
Cole Comfort (Mar 22 2024 at 09:31):Morgan Rogers (he/him) said:
It's possible that JB didnt get enough responses just because there are already CT seminars organised in various places, including some available online such as ItaCa.
During the height of the pandemic there was a calendar which showed many (if not all) of the online category theory seminars. But I don't think it is being maintained anymore.
Martti Karvonen (Mar 22 2024 at 09:45):There's still research seminars which shows lots of seminars (mostly online/hybrid) in all fields of math.
Cole Comfort (Mar 22 2024 at 12:51):Martti Karvonen said:
There's still research seminars which shows lots of seminars (mostly online/hybrid) in all fields of math.
Wow, there is a seminar coming up in Turkey that coincidentally seems very similar to what I have been researching recently. There is no way I would have been aware otherwise :laughing: . I wonder how these get indexed
Nathanael Arkor (Mar 22 2024 at 15:32):The seminar organisers have to add their own seminars: the data is not scraped from anywhere.
Jean-Baptiste Vienney (Mar 22 2024 at 15:51):Ok, so no one wants to talk :laughing:
To the 22 people who said there were interested 4 months ago: we can make a silent seminar: Everyone connects on Zoom. Someone says "Hello everyone, today [empty] will talk about [empty]". We wait one hour without interrupting the person who makes the presentation (except for questions, if you find a way to talk to him), and then the same person says "Thank you everyone, see you next week. [empty] will talk about [empty]!"
Peva Blanchard (Mar 22 2024 at 16:07):And then you could finish with a concert. I propose John Cage 4'33'' https://youtu.be/AWVUp12XPpU?si=pL2hqweEWl76qucl
Eric M Downes (Mar 23 2024 at 05:21):Jean-Baptiste Vienney said:
Without yet thinking to a date, a time etc... if you're interested in giving a talk in this yet-to-be-started seminar, please indicate it below by posting a message, preferably with a title but it's also ok to say you're interested but don't yet know the precise topic you want to talk about.
First: good luck on your exams! Totally understand.
This might not work, but worth trying: behold! a google spreadsheet with suggestively-named columns.
https://docs.google.com/spreadsheets/d/10tCx3l1wqH9pf-q1EQys9oT5QOxozmBdklVf0uY57A8/edit
I took the liberty of adding Jean-Baptiste on the first Wednesday in June. :P (Please move yourself around if that is not a comfortable date, sir.)
I also volunteered to give a talk, but cowardly gave myself until August!
We'll see if we get any traction. If no one objects, we can advertise this more loudly.
Eric M Downes (Mar 23 2024 at 05:36):(I know the original idea was to make everything go in a "proper" order... IMO if we record and post to youtube, that is less critical, as we could just build a playlist revisionist-history style, that goes in a more pedagogical order? At least that way it's easier to get going.)
Claudio Pisani (Mar 23 2024 at 06:53):Jean-Baptiste Vienney said:
Ok, so no one wants to talk :laughing:
I would like to talk about my latest research on "unbiased symmetric multicategories"
(which could be the title)
showing how symmetric multicategories (in their unbiased form, with sequences replaced by families) are double categories with finite sums and with a sum preserving discrete fibration to the double category of pullback squares in finite sets
If the "loose" component of is an opfibration (respectively, a discrete opfibration) we get unbiased symmetric monoidal categories (respectively, commutative monoids).
If we replace the "indexing" base with suitably defined, we get planar multicategories.
If we consider (commuting squares in finite sets with two bijective parallel sides) the inclusion can be seen as the multicategory with just an arrow, and taking as the indexing base, we get categories in the form of unary multicategories.
Another interesting instance is when is the double category associated to the family fibration of a category ; this gives the unbiased version of a [[sequential multicategory]]...
I would be happy to talk on these (and on many other related) topics!
David Michael Roberts (Mar 23 2024 at 07:52):I'd be interested to give a talk, but utc+0930 is not exactly conducive for most northern hemisphere people. Perhaps a pre-recorded talk? And discussion can happen afterwards here in Zulip?
Jean-Baptiste Vienney (Mar 23 2024 at 15:29):Eric M Downes said:
Jean-Baptiste Vienney said:
Without yet thinking to a date, a time etc... if you're interested in giving a talk in this yet-to-be-started seminar, please indicate it below by posting a message, preferably with a title but it's also ok to say you're interested but don't yet know the precise topic you want to talk about.
I took the liberty of adding Jean-Baptiste on the first Wednesday in June. :P (Please move yourself around if that is not a comfortable date, sir.)
Ok, it's fine! I asked for the right to write in the table. I can complete my line.
Jean-Baptiste Vienney (Mar 23 2024 at 15:33):Claudio Pisani said:
Jean-Baptiste Vienney said:
Ok, so no one wants to talk :laughing:
I would like to talk about my latest research on "unbiased symmetric multicategories"
(which could be the title)
showing how symmetric multicategories (in their unbiased form, with sequences replaced by families) are double categories with finite sums and with a sum preserving discrete fibration to the double category of pullback squares in finite sets
If the "loose" component of is an opfibration (respectively, a discrete opfibration) we get unbiased symmetric monoidal categories (respectively, commutative monoids).
If we replace the "indexing" base with suitably defined, we get planar multicategories.
If we consider (commuting squares in finite sets with two bijective parallel sides) the inclusion can be seen as the multicategory with just an arrow, and taking as the indexing base, we get categories in the form of unary multicategories.
Another interesting instance is when is the double category associated to the family fibration of a category ; this gives the unbiased version of a [[sequential multicategory]]...I would be happy to talk on these (and on many other related) topics!
Awesome, you can start by talking on this topic! I think you could complete a line in the spreadsheet at whatever date is fine for you. But we can't write for now without asking permission. Maybe @Eric M Downes could change that?
Jean-Baptiste Vienney (Mar 23 2024 at 15:37):David Michael Roberts said:
I'd be interested to give a talk, but utc+0930 is not exactly conducive for most northern hemisphere people. Perhaps a pre-recorded talk? And discussion can happen afterwards here in Zulip?
Yes, a pre-recorded talk and discussing here sounds good. Maybe we could put your recording on the YouTube channel on which we will upload the talks at the date you want to talk.
Jean-Baptiste Vienney (Mar 23 2024 at 15:38):Please free to add your line in the spreadsheet!
Eric M Downes (Mar 23 2024 at 15:39):Sorry folks, I didn't get the permission quite right. Try reloading!
I think anyone with the link can edit now
Eric M Downes (Mar 23 2024 at 15:43):David Michael Roberts said:
I'd be interested to give a talk, but utc+0930 is not exactly conducive for most northern hemisphere people. Perhaps a pre-recorded talk? And discussion can happen afterwards here in Zulip?
I think its fine! If you're willing to give a talk in the late afternoon, even folks in pacific time should be able to attend at 8 am local time. [Edit: see below]
So, we can record on zoom, and as usual anyone who couldn't make it can watch the recording? I personally would like anyone sufficiently motivated to make your talk to be able to ask questions.
Eric M Downes (Mar 23 2024 at 15:45):Sorry its the other way around! I'm so bad at arithmetic :) If you can give a talk in the early morning, even N Americans can attend near the end of the standard work day.
Jean-Baptiste Vienney (Mar 23 2024 at 15:51):I have a paid version of Zoom so we can use mine but I will be sleeping at this time. So I'm not sure how to proceed? Maybe we can just use another Zoom for this one and @David Michael Roberts can share the link (to the live and the recording) here?
Eric M Downes (Mar 23 2024 at 15:53):Jean-Baptiste Vienney said:
I have a paid version of Zoom so we can use mine but I will be sleeping at this time. So I'm not sure how to proceed? Maybe we can just use another Zoom for this one and David Michael Roberts can share the link here?
I also have the paid version!
Maybe you and I can figure out zoom settings so that we can both be hosts. Then so long as one of us is present people can at least get in.
Jean-Baptiste Vienney (Mar 23 2024 at 15:53):Ok, we can do that!
Morgan Rogers (he/him) (Mar 23 2024 at 21:02):I'm happy to see this coming together!
Eric M Downes (Mar 23 2024 at 22:00):Morgan Rogers (he/him) said:
I'm happy to see this coming together!
We'll see if anybody actually signs up :)
https://docs.google.com/spreadsheets/d/10tCx3l1wqH9pf-q1EQys9oT5QOxozmBdklVf0uY57A8/edit
Claudio Pisani (Mar 23 2024 at 23:28):Jean-Baptiste Vienney said:
Claudio Pisani said:
I would like to talk about my latest research on "unbiased symmetric multicategories"
(which could be the title)Awesome, you can start by talking on this topic! I think you could complete a line in the spreadsheet at whatever date is fine for you.
I've just completed a line for the date May 15 , thanks.
Jean-Baptiste Vienney (Mar 24 2024 at 00:34):Sorry, I wanted to start in June at the beginning but the spreadsheet starts earlier. May 15 is not a very good day for me. Could you move to May 22 or some week from June 5? (I moved myself to May 29 because we can still start a bit earlier.)
Claudio Pisani (Mar 24 2024 at 06:45):Yes, of course. I've now moved to May 22, but if you prefer I can also move to June, let me know (just the first two weeks of June wouldn't be very good for me)
Ryan Wisnesky (Mar 24 2024 at 21:04):btw the Boston and Bay Area category theory meetup mailing lists are available to help seed online seminar efforts, these or others, lmk
Jean-Baptiste Vienney (Mar 25 2024 at 21:43):Update:
Jean-Baptiste Vienney (May 05 2024 at 10:44):There are currently 7 persons who are registered in the table for giving a talk this summer. Most of them put their name or I put their name after I asked them if they wanted to give a talk on a specific topic, and they told me they wanted to do it.
I’d like to ask for volunteers for giving a talk. If you’re too scared to fill a line yourself in the table, you can send me a DM to discuss your proposal. It would be awesome if there was a talk each week during the summer (from May 22 to August 28). There are still 7/14 free slots, so please fill the table or reach out to me if you want this seminar to take a good start!!
For instance, if you have recently written your first paper, or finished a master or PhD thesis, you could use one of the slot to tell us about what you’ve been working on and how much you love it!
Or if you’re an experienced researcher, you could maybe give a nice pedagogical talk on a topic you know very well!
If you now suddenly feel like you want to give a talk and fill a line right now in the table, it is here.
Have a good day!!
Kevin Carlson (May 06 2024 at 16:58):Just a comment that the UTC 14:00 time most speakers are planning is 7:00 in California and 0:00 in Australia, so likely to miss both those groups.
Jean-Baptiste Vienney (May 06 2024 at 18:35):What time would you suggest as a better one. UTC 15:00?
Jean-Baptiste Vienney (May 06 2024 at 18:35):It can't work at the same time for California and Australia.
Jean-Baptiste Vienney (May 06 2024 at 18:37):This time would be 8:00 in California and 18:00 in Tallinn so it could work for all the people living the area between the two.
Kevin Carlson (May 06 2024 at 18:38):Ah, I didn't realize Tallinn is UTC+3, inconvenient that we're 10 hours apart right now!
Kevin Carlson (May 06 2024 at 18:43):Since it looks like interest is centered in Europe right now I probably wouldn't worry too much about California; I'm very unlikely to come to an 8:00, for instance, and borderline at 9:00. If I were organizing this I'd try to figure out whether some Australians would come in their evening vs some Californians in our morning and how late in the evening would start to bother Estonians and pick among probably 9,10,11,15,16,17 UTC, saving 12,13,14 for the case of ruling out both California and Australia.
Jean-Baptiste Vienney (May 06 2024 at 18:57):I created another table here.
If you're interested in attending the seminars, please write your name (or a pseudo if you want to stay anonymous) and the times which would work for you (e.g. under the form min-max, for instance GMT 1400 to GMT 1700).
It will become the new time by default which is suggested to the people who want (or accept) to talk.
Jean-Baptiste Vienney (May 06 2024 at 19:00):(In case, not much people write in the table, I'll keep GMT 1400 at the default time...)