Forum

Notifications
Clear all

Hello!


Ulrik Buchholtz
(@ulrikbuchholtz)
New Member
Joined: 5 months ago
Posts: 1
Topic starter  

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!


ReplyQuote
Share: