Speaker: Mitchell Rowett and Louis Carlin (ANU)
Summer ASC students Louis Carlin and Mitchell Rowett will describe their experience developing mathematical libraries for Lean, a new interactive theorem pr
Speakers: Hoel Queffelec (Montpellier/CNRS)
Paul Wedrich (ANU)
Khovanov homology can be defined for links in thickened surfaces.
Speaker: Anand Deopurkar (ANU)
The usual objects of study in classical algebraic geometry are smooth algebraic varieties.
Speaker: Scott Morrison (ANU)
On Friday at 3pm Mike Freedman is speaking in the Topological Matter summer school. This is a “pre-talk”, trying to fill in some background.
Speakers: Dominic Weiller (ANU)
Scott Morrison (ANU)
We will try to understand Vicary and Bar's definition of quasistrict 3- and 4-categories, based on https://ar
Speaker: Kevin Walker (Microsoft Station Q)
Kevin will describe a family of 3-categories coming from surfaces modulo local relations.
We'll talk about Walker's 3-category of surfaces modulo relations. We've recently realised a connection with Deligne's S_t, which may be important.
Speaker: Paul Wedrich (MSI)
The Temperley-Lieb algebra gives a diagrammatic presentation of the representation category of quantum sl(2), with the famous Jones-Wenzl projectors encodin
Speaker: Scott Morrison (MSI)
I'll define algebras in higher categories, and explain how to interpret recent work in physics on 'tensor networks' in this framework.
Speaker: Cain Edie-Michell (MSI)
Cain will tell us about his recent paper arxiv:1709.04721, computing the group of Morita auto-equivalences for any category with "ADE" fusion rules (and for