An Eclair of non-abelian derived category.
Short: Nonabelian derived category is a formal language spoken by both homotopists and
algebraic geometers.
Long: Nonabelian derived category is a common language shared by modern algebraic topologists
and algebraic geometers. I will provide a somehow messy but juicy introduction (like an ´eclair
!) to this framework by discussing the following questions: what exactly is a nonabelian derived
category (following Quillen, Lurie, and others) ? Why does it appear so naturally in both homotopy
theory and algebraic geometry? And, putting aside many misplaced criticisms, how does this sort of
“abstract nonsense” contribute to actual computation ? I will also mention a small result of me and
Nuiten concerning a kind of “dual analogue” of Steenrod operations.