Ryan Brewer

@ryanbrewer There's a video here at https://hott-uf.github.io/2020/ but a ton has changed and I would disrecommend watching the talk to learn about gluing. (Maybe the first half, which includes these

I must have been in some kind of mood when I wrote these...