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?