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 | |
Results tagged with homotopy-theory
Search options not deleted
user 51424
Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas and techniques, such as cohomology theories, spectra and stable homotopy theory, model categories, spectral sequences, and classifying spaces.
10
votes
Why do we care about $(\infty,2)$-categories?
One place where $(\infty,2)$-categories shows up is the geometric Langlands program. (As in David Ben-Zvi's comment, this is again related to the TFT example.) Indeed, local geometric Langlands is oft …
- 5,958
7
votes
1
answer
292
views
Proposition in HTT on cofibrations of categories
Proposition A.3.3.9. in Higher Topos Theory is as follows:
Let $S$ be an excellent model category and let $f:C\rightarrow C'$ be a cofibration of small $S$-enriched categories. Then (1) for every …
- 5,958
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 …
- 5,958