Enlightened - Badge - MathOverflow

Enlightened

First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

Marc Hoyois

8,2591 gold badge44 silver badges49 bronze badges

earned this badge 24 times.

Voevodsky's six functor formalism VS Lucas Mann's

Awarded Feb 14 at 10:15

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

Awarded Jan 8 at 19:47

How duality follows from a six functor formalism

Awarded Jul 7, 2022 at 18:01

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

Awarded Apr 22, 2022 at 21:25

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

Awarded Aug 14, 2021 at 10:05

Is the fundamental group functor a left-adjoint?

Awarded May 1, 2021 at 7:32

Is the $\infty$-topos $Sh(X)$ hypercomplete whenever $X$ is a CW complex?

Awarded Apr 23, 2021 at 19:26

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

Awarded Jan 30, 2020 at 15:10

Derived version of equivalence between motives and representations of Motivic galois groups?

Awarded Mar 25, 2019 at 21:40

FIltered colimits of truncated objects in $\infty$-topoi

Awarded Mar 22, 2019 at 4:50

When is the pullback in Chow groups defined?

Awarded Dec 10, 2018 at 6:15

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

Awarded Oct 20, 2018 at 7:20

Are there continua in $\infty$-topoi?

Awarded Oct 9, 2018 at 16:40

Is $H_{et}^1(X,F) = H^1(\pi_1^{et}(X), F(\bar{k}))$ true?

Awarded May 26, 2018 at 6:41

Two motivic complexes, compared

Awarded Feb 25, 2018 at 6:43

Does the forgetful functor from presentable $\infty$-categories to $\infty$-categories preserve filtered colimits?

Awarded Feb 16, 2018 at 13:11

Homotopy left-exactness of a left derived functor

Awarded Feb 26, 2017 at 1:04

Perfect chain complexes

Awarded Sep 8, 2016 at 21:35

A Kunneth formula for the etale cohomology of the product of ('simple') varieties over not (necessarily) algebraically closed field

Awarded Mar 29, 2016 at 19:32

Realization Functor From $SH$ to Derived Category of $Gal$-Modules

Awarded Nov 21, 2015 at 17:26

The vanishing of $MGL^{2n+i,n}(X)$; do spectra of smooth projective varieties generate $SH_{l}$?

Awarded Aug 15, 2015 at 1:39

Category of motivic spectra

Awarded Jan 25, 2015 at 9:36

Diffeology as a sheaf on the site of smooth manifolds

Awarded Jan 21, 2014 at 19:32

Which limits commute with filtered colimits in the category of sets?

Awarded Aug 23, 2013 at 18:17

Others with this badge