#infinity category #abstract structure #higher category theory #mathematical structures #foundational mathematics #∞-topos #homotopy type theory