CT2019

13th July, 2019

I have just come back from CT2019 in Edinburgh, and it was a fantastic week. There were a bunch of really interesting talks, and I had a chance to meet some lovely people. I also got to tell people about #math.CT:matrix.org, and so hopefully that will start to pick up in the not-too-distant future.

In no particular order, and with many glaring omissions, here are the slides from some of the talks that I really enjoyed:

• Internal languages of higher toposes (Michael Shulman)
• Graphical Linear Algebra (Pawel Sobocinski)
• A formal category theory for \infty-categories (Emily Riehl)
• Segal-type models of weak n-categories (Simona Paoli)
• An Axiomatic Approach to Algebraic Topology: A Theory of Elementary (\infty,1)-Toposes (Nima Rasekh)
• Internal lenses as monad morphisms (Bryce Clarke)
• Dagger limits (Martti Karvonen)
• Hopf-Frobenius Algebras (Joseph Collins)