Higher Topos Theory

Higher Topos Theory is a branch of mathematical logic and category theory that extends the concepts of topos theory to higher-dimensional or higher categorical settings. At its core, topos theory studies topoi (plural of topos), which are categories that behave similarly to the category of sets, allowing for a rich interplay between algebra, geometry, and logic.