Speaker
拓海 前川
(理化学研究所iTHEMS)
Description
Higher topos theory provides a unified framework for homotopy theory and modern geometry. An $\infty$-topos is an $\infty$-category that is supposed to be a collection of higher-categorical sheaves (or `stacks'). We begin by exposing the motivations and fundamentals of the theory from a categorical perspective. As an application, we discuss the intrinsic construction of the Bauer-Furuta invariant---a stable homotopy theoretic refinement of the Seiberg-Witten invariant.