Automorphisms of genus 6 surfaces
Finiteness aspects of Deligne cohomology
Tubular Neighborhood Theorem for C1 Submanifold
When is it easier to work projectively?
Why do we need model categories?
In what respect are univalent foundations “better” than set theory?