Marc Hoyois's user avatar
Marc Hoyois's user avatar
Marc Hoyois's user avatar
Marc Hoyois
  • Member for 12 years, 3 months
  • Last seen this week
14 votes

Who proved the motivic 6-functor formalism?

9 votes
Accepted

Effective epimorphisms and 0-truncations (HTT, 7.2.1.14)

23 votes
Accepted

Voevodsky's six functor formalism VS Lucas Mann's

7 votes
Accepted

Long exact sequences for parametrized cohomology

5 votes
Accepted

Proof without sieves: Equivalent grothendieck topologies have the same sheaves

13 votes

What is the dual of the stable infinity category of perfect complex on smooth proper variety?

13 votes
Accepted

If we replace the spectrally ringed space in the definition of a spectral scheme with an arbitrary infinity-topos, what objects do we get?

6 votes
Accepted

Defining Hochschild homology of non-commutative DG-algebras with animated rings with a circle action

2 votes
Accepted

Subcategory of coherent objects in an $\infty$-topos forming a local $\infty$-pretopos

3 votes
Accepted

What is the connection between Lurie's definition of shape and Čech homotopy?

5 votes
Accepted

Motivic cohomology with $\mathbb{Z}/2$ coefficients in positive characteristic

11 votes
Accepted

How duality follows from a six functor formalism

11 votes
Accepted

Tensor products of $\mathbb{E}_\infty$-spaces

6 votes
Accepted

Construction of the universal covering space of the etale homotopy type $Et(X)$

2 votes
Accepted

(Local) Homotopy dimension of $\infty$-topoi on paracompact spaces

6 votes
Accepted

The universal multiset for a finite scheme - reference request

11 votes

Determinantal identities for perfect complexes

4 votes
Accepted

descent implies hyperdescent

3 votes
Accepted

Etale sheaves on algebraic spaces vs. Etale sheaves on affines

10 votes
Accepted

$2$-fiber product is a scheme then map of stacks is representable

16 votes
Accepted

$BG$ the stack, $BG$ the simplicial presheaf

12 votes
Accepted

Are there continua in $\infty$-topoi?

5 votes

A question about the vanishing of motivic cohomology in negative Tate twist

6 votes
Accepted

Is this Mayer-Vietoris sequence motivic?

5 votes
Accepted

Finite étale covers of concentrated schemes and extension of base field

6 votes
Accepted

Can I check the accessibility of a functor on directed colimits of presentable objects?

9 votes

A locally presentable locally cartesian closed category that is not a quasitopos

10 votes
Accepted

Example of a locally presentable locally cartesian closed category which is not a topos?

4 votes
Accepted

Generalizations of tangent $\infty$-topos

8 votes
Accepted

Two motivic complexes, compared