# 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 -categories (Emily Riehl)
- Segal-type models of weak -categories (Simona Paoli)
- An Axiomatic Approach to Algebraic Topology: A Theory of Elementary -Toposes (Nima Rasekh)
- Internal lenses as monad morphisms (Bryce Clarke)
- Dagger limits (Martti Karvonen)
- Hopf-Frobenius Algebras (Joseph Collins)