Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Homotopy theory, homological algebra, algebraic treatments of manifolds.
3
votes
Accepted
detecting weak equivalences in a simplicial model category II
I think the following gives a counterexample:
Take the category of morphisms in $\operatorname{SSet}$, i.e., the category $\operatorname{Fun}(C,\operatorname{SSet}),$ where $C$ is the category with t …
39
votes
2
answers
2k
views
What parts of the theory of quasicategories have been simplified since the publication of HTT?
It has been almost ten years since Lurie published Higher Topos Theory, where (following Joyal and probably others) he set up foundations for higher category theory via quasicategories. My impression …
3
votes
Accepted
Six functor formalism for quasi-coherent $D$-modules
They do not exist in general. The simplest example is maybe to take $X\rightarrow Y$ to be the closed embedding of the origin inside $\mathbb{A}^1.$ Then $f_*$ sends a vector space $V$ to the $\mathca …