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 84398
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.
2
votes
0
answers
207
views
A map that names itself
Call the walking arrow $\Delta_{1}$, containing exactly one nontrivial 1-cell $[0<1] : 0 \to 1$. I am interested in a map $\Phi : \Delta_{1} \to \mathrm{Type}$, such that $\Phi [0<1] = \Phi$ (and ther …
- 713
3
votes
0
answers
111
views
"Boundaries" in Free Simplicial Monoids
I suspect that this has been addressed somewhere already, but I cannot find anything. Let $\hat{\Delta}$ denote simplicial sets, and $Mon\hat{\Delta}$ simplicial monoids. There is a forgetful functor …
- 713
3
votes
0
answers
134
views
Fundamental monoid pertaining to adjunctions
Marco Grandis has been working to collect and formalize the ideas of directed homotopy theory (his main work on the subject has been listed in the references at the nLab page on the subject: directed …
- 713
1
vote
0
answers
68
views
Underdetermined Polynomial $(\infty ,1)$-Functors
Is there any sense in which the full subcategory of n-excisive functors (on spectra or on pointed spaces) on those functors $F$ which satisfy a set of distinct (modulo homotopy equivalence) equations …
- 713
20
votes
0
answers
348
views
Homotopic version of Freyd's AT category observations
Freyd was the first to formalize a striking comparison between abelian categories and topoi, showing that their exactness properties can be jointly captured by the axioms of AT categories, and the dif …
- 713