{"id":"arxiv/2608.09592","url":"https://arxiv.org/abs/2608.09592","tags":["math.AG","math.AT","math.CT"],"score":0,"title":"On the internal homotopy theory of motivic categories","domain":"math.AG","source":"arxiv","authors":["Dipankar Maity"],"reviews":0,"subject":"math.AG","summary":"We develop a general $\\infty$-categorical framework for internal Eilenberg-MacLane objects, internal homotopy groups, and an internal notion of covering spaces, and study their behavior under suitable localizations. Applying this to the ordinary motivic localization, we identify internal $n$-Eilenberg-MacLane objects with strongly $\\mathbb{A}^1$-invariant sheaves of (abelian when $n\\geq 2$) groups, yielding a formal obstruction to the motivic homotopy category being an $\\infty$-topos. We prove that taking $\\mathbb{A}^1$-localizations induces an equivalence between classical…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-10","reactions":{}}