Hi! Thanks to everyone who came to the planning meeting today; there were at least 14 people present, which is the most we've had so far(!) We first did a tour of everyone present and their category-related research topics. Several new PhD students will be arriving, and two have already arrived. Then we got some proposals for topics and talks (offered and requested) for this semester's GdT. * [Morgan] WIP: Locale theory (point-free topology) * (*) [Christian] Intro to Algebraic K-Theory * [requested by Thomas S.] Nuclei of Adjunctions * [requested by Quentin] Spreads/branched coverings in topos theory * [Eric] Intro to operads, properads, algebraic structures * + bar/cobar duality for infinity-operads * [Flavien] WIP: Generalizing parametrized variants of monads and their gadgets to double categories * [Eric] WIP: Symmetric vs non-symmetric operads and free functors * [Grégory] Deformation theory of algebraic spectra * [Quentin] Torsion monad on topose * [Jad, eventually] Infinite-dimensional vector bundles as models of Linear Logic * [Naïl] Comparing extension groups of polynomial functors * [Dominik] E_n-obstruction theory on spherical polynomials * [Rashiqua] Synthetic spectra\ * [Quan] Partial centre of monads, OR * relative monads applied to quantum, probabilistic or non-deterministic effects (WIP = presentation of Work In Progress) Being on this list does not absolutely commit you to giving a talk, but if you want to hear about any one of these topics, encourage the associated person and/or don't hesitate to propose someone we can invite to talk about them. We decided that the next session will be in two weeks, October 5th at the same time; Christian will give the highlighted introductory course (*). The room (Y403) is not suited to giving talks. Between now and then, I will let you know which room we will use instead. Three more topics: * The university has funding for "intensive joint courses" (BIP) which must involve several departments, ideally from different universities. Christian proposed that we apply for the funding to organise one arounds (some of) the themes of the GdT. * MathSTIC has funding to invite collaborators for a few days at a time in order to give a talk at the GdT. _If you are reading this and not currently at USPN, this may provide a route for travel funding to visit us._ We need to get two external academics to take part in the scientific committee for this axe of MathSTIC. * There are also invited professorships available. The deadline for these is quite soon (mid October). If you have any suggestions of names of people to invite to participate in the working group for any reason, please get in touch! Also if you couldn't make it today and want to add to the list(s) above, let me know. Best wishes, Morgan