Postdoc at the University of Regensburg.
On G-semiadditivity:
On an approach to the six functor formalism via the universality of certain -categories of higher correspondences:
On global equivariant homotopy theory and cohesive homotopy theory applicable to differential orbifold cohomology:
On formal (infinity,1)-category theory:
Last revised on January 3, 2026 at 02:56:27. See the history of this page for a list of all contributions to it.