Skip to main content
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
Search options questions only not deleted user 461492

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.

4 votes
0 answers
70 views

Categories enriched in $(m,n)\text{-Cat}$ with Crans–Gray tensor product

(All higher categories will be strict unless otherwise noted): It is a somewhat folklorish fact that if you equip the category of $(m,n)$ categories with the cartesian monoidal structure, then a categ …
K. Strong's user avatar
  • 423
3 votes
1 answer
349 views

Is the adjunction between spaces and chain complexes monadic?

Consider the adjunction of $\infty$-categories $\mathbb{Z}[-]: \mathcal{Spaces} \rightleftarrows \text{Ch}_{\ge 0}(\mathbb{Z}): |-|$ where the left adjoint takes a space to its singular chain complex …
K. Strong's user avatar
  • 423
5 votes
1 answer
150 views

Simplicial objects in quasicategory which come from homotopy coherent nerve

Let $\mathcal{C}$ be a simplicially enriched category whose Hom-objects are all Kan complexes. Denote by $N\mathcal{C}$ the homotopy-coherent nerve of $\mathcal{C}$, which is a quasicategory. Suppose …
K. Strong's user avatar
  • 423
9 votes
0 answers
183 views

Operads and Inverses

One slightly displeasing thing about the theory of operads is that they are unable to encode the structure of inverses; e.g. the recognition principle for $n$-fold loop spaces says "there is an operad …
K. Strong's user avatar
  • 423