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.
John Baez (Jun 28 2021 at 18:50):@Brendan Fong writes:
Dear all,
Topos Berkeley officially opens this week! Here's an email outlining key activities this week. In particular, please join us for our inaugural Berkeley Seminar at 4.30pm on Tuesday. We'll share a cake to celebrate, and James Fairbanks will give an overview of The Algebraic Julia Ecosystem. Per (novel) seminar tradition, all are welcome to join for dinner with the speaker afterward.
We kindly request that anyone in the office be fully vaccinated against COVID-19. If you have any questions or concerns, don't hesitate to reach out.
It's finally here! Looking forward to seeing you all =).
Brendan
Seminars
Berkeley Seminar (4.30pm Tuesday June 29): James Fairbanks on The Algebraic Julia Ecosystem
Colloquium (10am Thursday July 1): Larry Paulson on Formalising Contemporary Mathematics in Simple Type TheoryBerkeley Comings and Goings
James Fairbanks (Florida), Andrew Baas (GTRI), and Jesus Arias (GTRI) arrive Monday June 28 to visit for the week.
Juliet Szatko arrives Tuesday June 29 to begin her role as Topos' new Operations Assistant.
Owen Lynch (Utrecht) arrives Tuesday June 29 for a three week visit as a summer research associate.
Morad Behandish and Perry Harabin (PARC) visit on Thursday July 1.
Nelson Niu (Univ. Washington) arrives Thursday July 1 for a two month visit as a summer research associate.
John Baez (UCR) arrives Friday July 2 for a one month visit.
Tim Hosgood (Jun 28 2021 at 18:55):(for more information on the (in-person only) Berkeley seminar, see https://topos.site/berkeley-seminar/)
Tim Hosgood (Jun 28 2021 at 18:56):(and more information about the comings and goings of all these summer people will be on the website soon)
Christian Williams (Jun 29 2021 at 05:05):congratulations! very exciting.
I'll be there from July 5 to August 14, staying with Josh and David-Jaz. looking forward to coming together.
John Baez (Jun 29 2021 at 05:09):See y'all soon! Are they showing up July 5th too, or earlier?
Javier Prieto (Jun 29 2021 at 13:23):I hope this doesn't mean the constant stream of interesting talks being uploaded to the youtube channel will stop :cry:
Christian Williams (Jun 29 2021 at 13:59):I think they'll both get there around the 11th.
Cody Roux (Jun 29 2021 at 14:37):Exciting! Hope David had a nice drive (I understand he's not a fan of the Zulip thing)
Evan Patterson (Jun 29 2021 at 15:58):Javier Prieto said:
I hope this doesn't mean the constant stream of interesting talks being uploaded to the youtube channel will stop :cry:
Don't worry, the Topos Colloquium on Thursdays will continue exactly as before. The Berkeley seminar will be a more informal venue for visitors. My understanding is that they might get recorded and uploaded too, depending on the wishes of the speaker.
Tim Hosgood (Jul 01 2021 at 11:18):as a small announcement, the Topos Institute is now even more open online, in the sense that we've just launched the blog! there're only a couple of posts at the moment, but there are already more in the works :smiley: https://topos.site
Ulrik Buchholtz (Jul 01 2021 at 12:46):In case it saves others the trouble of searching for it, the corresponding RSS feed for the Topos Lab Blog is here.
Tim Hosgood (Jul 01 2021 at 13:33):thanks, i hadn’t yet got around to linking to that on the webpage but i will!
John Baez (Jul 02 2021 at 18:05):https://twitter.com/johncarlosbaez/status/1411020526714179584
I just drove up the California coast and arrived at the coolest place on the planet: the Topos Institute, an institute of applied category theory in Berkeley, now officially open for its first week! https://topos.institute/ https://twitter.com/johncarlosbaez/status/1411020526714179584/photo/1
- John Carlos Baez (@johncarlosbaez) Christian Williams (Jul 03 2021 at 00:45):awesome. great way to start retirement! congratulations.
Matteo Capucci (he/him) (Jul 03 2021 at 10:53):strong La Jolla vibes
Jules Hedges (Jul 03 2021 at 11:00):I'm seriously jealous... no idea when our office is going to open
Jules Hedges (Jul 03 2021 at 11:06):What's happening at the Oxford branch? (There is an Oxford branch right... I didn't imagine that?) Is the office there open too?
Tim Hosgood (Jul 03 2021 at 14:35):the oxford branch is currently just me sat in the CQC attic, but that’s open!
Tim Hosgood (Jul 03 2021 at 14:48):(as in, there are a couple of other people, but i’m the only one currently physically in oxford)
Matteo Capucci (he/him) (Jul 03 2021 at 14:51):
Matteo Capucci (he/him) (Jul 03 2021 at 14:52):we'll come to the rescue Tim
John Baez (Jul 06 2021 at 16:02):This week:
It's been a fun first in-person week for Topos Berkeley. Next week we host more visitors for Evan's AlgebraicJulia Adjoint School research group, with Angeline Aguinaldo joining for the week, and Christian Williams coming for a longer stay.
Angeline will give Tuesday's seminar. Please do join for dinner again after the seminar if you can!
Note also Topos will observe the July 4th holiday on Monday July 5th. Have a great long weekend!
Brendan
Seminars
- Berkeley Seminar (4.30pm Tuesday 7/6): Angeline Aguinaldo (Diary of a software engineer using categories)
- Colloquium (10am Thursday 7/8): Geoff Cruttwell (Categorical differential structures and their role in abstract machine learning)
- Internal Seminar (10am Friday 7/9): David Spivak (On tensor monoids in Poly)
Henry Story (Aug 06 2021 at 22:08):Is there a place to discuss the courses at the Topos institute?
Henry Story (Aug 06 2021 at 22:09):I was just learning about representable functors in programming (because I wanted to learn about memoization) and somehow I was directed to this series of talks on Polynomical Functors from the Topos Institute.
Those seem relevant to what I am looking at in many ways, but in particular many of the posts make a lot of taking derivatives of polynomial functors when calculating representable ones.
Henry Story (Aug 06 2021 at 22:15):In his book on colagebras Bart Jacobs talks about Kripke Polynomical functors, which are polynomial functors with (one of) the powerset functors. Are those covered in the Topos Institute course?
Henry Story (Aug 06 2021 at 22:18):Ah I see there is this channel https://categorytheory.zulipchat.com/#narrow/stream/282140-workshop.3A-Polynomial.20Functors.20.40.20Topos
John Baez (Aug 07 2021 at 00:47):That's for the workshop, not the course. There should be somewhere people can discuss the course, but I don't know where.
Tim Hosgood (Aug 07 2021 at 01:07):feel free to make a thread somewhere — I'm not too sure where's best!
Henry Story (Aug 07 2021 at 06:57):I'll leave it for a bit to the Topos Institute People to suggest what the best place to discuss the course is, before I take any action. It's easy to move this thread I think. :-)
Notification Bot (Aug 07 2021 at 08:38):This topic was moved by Matteo Capucci (he/him) to #learning: questions > polynomial functors and powerset