I think someone said something in here a while back, maybe it was @HarryGindi, that the relative nerve agrees with the usual simplicial nerve...? or something? I'd like to start with a simplicial model category, take bifibrant objects, then take the simplicial nerve, and say that this is equivalent to starting with the underlying relative category, taking the Hammock localization, then taking fibrant replacement, THEN taking the simplicial nerve. Will these two things agree?
Given a group G and a space X, there is a stack (say F) of G-torsors with a morphism to X - in other words a morphism from Y to F is the same as a diagram Y <- E -> X where E -> Y is a G-torsor and E -> X is any morphism (not necessarily equivariant). Does this stack have a standard name?
@JonathanBeardsley If I remember correctly, I think I said that Barwick and Kan show that their RelNerv is 'usually' (i.e. on fibrant RelCats) the same thing as the hc-nerve of the hammock. I think someone then showed that all left-proper combinatorial model cats are fibrant in the B-K model str on RelCat
Hinich's lemma proves what Rune was saying, though
I think the DS people would object to being called freaks, however descriptive it may be : ^ )
I've always wondered if homotopical methods could be applied to straight up analysis. It seems unlikely, but I wonder if anyone has ever thought about ir
It assigns a finite homotopy type to a dynamical system with sufficient compactness properties. Thomas would know more about the dynamical applications. It is also used in Floer theory (finite-dimensional approximations to infinite dimensional dynamics) which spits out a stable homotopy type.
Was there a picture of all the different notions of $\infty$-categories in Barwick--Schommer-Pries that got removed in the most recent revision? I really liked that picture...