# 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)