The universal six-functor formalism

DOI10.2140/AKT.2022.7.599OpenAlexW3090776047MaRDI QIDQ2692592

Brad Drew, Martin Gallauer Alves de Souza

Publication date: 22 March 2023

Published in: Annals of \(K\)-Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2009.13610

zbMATH Keywords

motivic homotopy theory\(\mathbb{A}^1\)-homotopycoefficient systemsix operationssix-functor formalism

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Motivic cohomology; motivic homotopy theory (14F42) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Related Items (3)

On distributivity in higher algebra I: the universal property of bispans ⋮ Trace maps in motivic homotopy and local terms ⋮ Supports for constructible systems

Cites Work

• Unnamed Item
• Unnamed Item
• The six operations in equivariant motivic homotopy theory
• Mixed Weil cohomologies
• \(K\)-theory and the bridge from motives to noncommutative motives
• Modules over motivic cohomology
• La conjecture de Weil. II
• La conjecture de Weil. I
• Adjoint functor theorems for ∞‐categories
• Note sur les opérations de Grothendieck et la réalisation de Betti
• A commutative P1-spectrum representing motivic cohomology over dedekind domains
• Weil's Conjecture for Function Fields
• Higher Topos Theory (AM-170)

This page was built for publication: The universal six-functor formalism