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 questions only
not deleted
user 78
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.
6
votes
1
answer
362
views
Does "simplicial" commute with "Bousfield localization"?
Let $M$ be a model category and $S \subseteq \operatorname{Mor}(M)$ a set of arrows in (the underlying strict category of) $M$. Recall that the left Bousfield localization $L_SM$ of $M$ with respect …
- 54.6k
10
votes
0
answers
205
views
What suffices to check completeness in an n-fold Segal space?
Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the
Segal condition: For each $j$, the map
$$ X_j \to \underbrace{X …
- 54.6k
12
votes
1
answer
972
views
I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-categ...
I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need …
- 54.6k
8
votes
0
answers
484
views
Does abstract nonsense of model categories determine the "nonlinear" morphisms of $L_\infty$...
Recall that a Lie algebra is a module for the operad $\mathrm{Lie}$, which is freely generated by a binary antisymmetric operation $\beta$ modulo an equation that is quadratic in $\beta$. There is a …
- 54.6k
88
votes
4
answers
8k
views
Is there an accepted definition of $(\infty,\infty)$ category?
For probably twenty years, category theorists have known of some objects in the Platonic universe called "(weak) $\infty$-categories", in which there are $k$-morphisms for all $k\in \mathbb N$, with s …
- 54.6k
12
votes
6
answers
3k
views
What is a good basic reference on model categories?
I am looking for a general reference text on model categories, that contains all the basic results and definitions. I'm perfectly happy to be pointed towards a textbook, and I'm not looking for somet …
- 54.6k
8
votes
1
answer
350
views
Does there exist a model of chains on oriented manifolds with both a strict intersection pai...
Let $M$ be a smooth oriented $n$-dimensional manifold. My favorite model of $\operatorname{Chains}_\bullet(M) \otimes \mathbb R$ is the space of smooth compactly-supported de Rham forms on $M$, shift …
- 54.6k
8
votes
1
answer
628
views
Is there a "derived" Free $P$-algebra functor for an operad $P$?
Recall that an operad (in vector spaces, say) $P$ consists of a collection of vector spaces $P(n)$ for $n\geq 0$, such that $P(n)$ is equipped with an action by the symmetric group $S_n$, with maps $P …
- 54.6k
17
votes
1
answer
779
views
How are these algebraic and geometric notions of homotopy of maps between manifolds related?
Let $M$ and $N$ be smooth manifolds, and $f,g: M \to N$ smooth maps. Denote by $(\Omega^\bullet M,\mathrm d_M)$ and $(\Omega^\bullet N, \mathrm d_N)$ the cdgas of de Rham forms in each manifold, and …
- 54.6k
7
votes
1
answer
452
views
How equivalent are the theories of reduced and groupal $\infty$-groupoids?
I hope that my question is sufficiently trivial that someone will be able to give me a pedantic answer, and not so trivial that no one takes the time to give an answer. My motivation for asking this …
- 54.6k
11
votes
2
answers
508
views
How to interpret topologically that the equalizer in Groupoids of ${\rm id}, {\rm id}: BG \r...
Let $G$ be a (discrete) group, and $1/G$ the corresponding groupoid with one object. Consider the diagram in (the 2-category) Groupoids with one vertex, labeled $1/G$, the one arrow from that vertex …
- 54.6k
27
votes
2
answers
4k
views
What's the current state of the classification of not-fully-extended TQFTs?
Recall that a $(k,k+1,\dots,k+n)$-TQFT is (supposed to be) a functor from the $n$-category whose $j$-morphisms are (isomorphism classes of) compact $(k+j)$-dimensional manifolds with boundary to some …
- 54.6k