# Model topoi and motivic homotopy theory

## TL;DR

This paper constructs a model structure on simplicially enriched presheaves over a category with a Grothendieck topology, showing it forms a $t$-complete model topos, and compares this with motivic homotopy theory.

## Contribution

It introduces a new model structure on enriched presheaves that forms a $t$-complete topos and relates it to motivic homotopy theory, providing new insights into their categorical properties.

## Key findings

- The constructed model category is a $t$-complete model topos.
- Motivic homotopy theory is shown not to be a model topos.
- Partial results on the exactness of motivic localization are provided.

## Abstract

Given a small simplicial category $\C$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\C$ where the weak equivalences are the local weak equivalences of the underlying (non-enriched) simplicial presheaves. We show that this model category is a $t$-complete model topos and describe the Grothendieck topology $[\tau]$ on the homotopy category of $\C$ that corresponds to this model topos. After we first review a proof showing that the motivic homotopy theory is not a model topos, we specialize this construction to the category of smooth schemes of finite type, which is simplicially enriched using the standard algebraic cosimplicial object, and compare the result with the motivic homotopy theory. We also collect some partial positive results on the exactness properties of the motivic localization functor.