Hi, I'm Ulrik Buchholtz, currently working at TU Darmstadt. I'm interested in homotopy type theory and higher toposes, and in working synthetically via internal languages. Some of my favorite toposes include simplicial/cubical/opetopic sets/animas, toposes related to (smooth) cohesion, algebraic geometry or equivariant homotopy theory, as well as pyknotic/condensed sets/anima. (OK, condensed sets don't quite form a topos, but still…)

I don't know nearly as much about most of these as I'd like, but I hope to learn something from y'all!