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 124549
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.
5
votes
2
answers
556
views
Kan fibrant replacement for a sphere
To compute the simplicial homotopy group of a space $X$, we find a Kan fibrant replacement $X \to Y$ and calculate for that for $Y$, which can be implemented in a computer program.
Computing homotopy …
- 5,230
1
vote
2
answers
475
views
(Lower) homotopy groups from triangulations
Both cohomology and homotopy groups capture global topological information of a manifold $X$. It is interesting to ask if they can be computed from local data. A triangulation $T$ is a natural present …
- 5,230
1
vote
0
answers
183
views
The key step in Serre's method on higher homotopy groups
Let $n \geq 2$ and $X$ be a $(n-1)$-connected simplicial complex. This means that all of the lower homotopy groups $\pi_{k}(X) = 0$ for $k \leq n-1$. My goal is to compute the higher homotopy groups o …
- 5,230
4
votes
1
answer
199
views
Do (co)density (co)monadic constructions stablize?
Under good conditions [1], any functor $F: C \to D$ induces a codensity monad $T: D \to D$ as a right Kan extension of $F$ along itself. It does not say explicitly, but by considering left/right Kan e …
- 5,230
3
votes
0
answers
266
views
All functors "are" left adjoints, and applications?
Throughout this thread, let us assume smallness.
All functors "are" left adjoints
Let $D \xrightarrow{F} C$ be any functor, which induces
$$ D \xrightarrow{F} \hat{C}$$
by compositing the Yoneda embed …
- 5,230
4
votes
0
answers
382
views
Obstruction of smooth structure
The first 24 lectures of Jacob Lurie on Geometric Topology [1]
gave a concise introduction to the comparison of smooth manifolds
and piecewise-linear manifold. In the first five lectures, it is
shown …
- 5,230
6
votes
0
answers
350
views
Cohomology without comonad?
TL;DR. Many cohomologies can be unified using comonads. Question: which cohomologies cannot be?
For each algebraic theory, there is an adjunction, and therefore a (co)monad (or called a (co)triple). …
- 5,230
1
vote
0
answers
165
views
Khovanov $A_\infty$ algebra
Let $L$ be a link in $\mathbb{R}^3$, with $D, D'$ be diagrams in
$\mathbb{R}^2$ representing $L$. Khovanov constructed two graded
chain complexes $$C_{D} = (Ch_{D}, d_{D}) \quad C_{D'}=(Ch_{D'},
d_{D' …
- 5,230
2
votes
0
answers
309
views
Invariants of objects in $\operatorname{Ch}(\mathrm{Ab})$ up to chain homotopy
$\newcommand\Ab{\mathrm{Ab}}\newcommand\ab{\mathrm{ab}}\DeclareMathOperator\Ch{Ch}\DeclareMathOperator\Kom{Kom}\newcommand\ho{\mathrm{ho}}$Let $\Ab$ be the category of finitely generated abelian group …
- 5,230
25
votes
1
answer
2k
views
Definition of an n-category
What's the standard definition, if any, of an $n$-category as of 2020? The literature I can tap into is quite limited, but I'll try my best to list what I had so far.
In [Lei2001], Leinster demonstrat …
- 5,230