Das Ziel dieses Projektes ist es, die Theorie der höheren Korrespondenzen in höherer Kategorientheorie zu entwickeln, in Verbindung mit Anwendungen in algebraischer Geometrie und topologischer Feldtheorie. Insbesondere möchten wir einen vollständig kohärenten Formalismus der sechs Operationen für motivische Garben konstruieren (welcher virtuelle Fundamentalklassen mit einschließt) und die Dijkgraaf-Witten-Theorie zu einer vollständig erweiterten topologischen Feldtheorie fortsetzen.
