« first day (2328 days earlier)      last day (24 days later) » 

12:41 AM
Excellent, thanks everyone :)
 
 
11 hours later…
11:23 AM
is there a sensible notion of "abelian $\infty$-category"?
 
12:23 PM
@BrunoStonek I'd argue that prestable ∞-categories are the correct analogue. See also SAG.C.5.4 for a notion of "abelian n-category" for every n, giving abelian categories for n=1 and prestable ∞-categories for n=∞
 
thanks for the pointer, I'll take a look
 
The whole appendix C of SAG is relevant
 
 
8 hours later…
8:26 PM
Has anyone ever thought about the space of good covers on a manifold? In particular what is the homotopy type of the space of good covers of the open n-ball? A good cover is a finite union of open sets diffeomorphic to open balls s.t. all possible intersections are again a finite disjoint union of open sets diffeomorphic to open n-balls.
 
 
1 hour later…
9:31 PM
How do good covers form a space?
Also, I thought the definition was: the finite intersections of elements of the cover are either balls or empty.
 
 
1 hour later…
10:47 PM
@CharlesRezk I imagine there are many ways to describe the topology. I could order all the open sets in the cover than give a metric induced from the L^2 metric on characteristic functions of the open sets, then mod out by the permutation action on the indices of the ordering. I imagine there are way more simpler ways to phrase this topology and I think any other reasonable thing would give something which is at least homotopic. I may be wrong though.
As for the definition of good, I don't really care too much whether or not the definition is as you stated or as I stated. i would be interested in the answer regardless.
And I also agree that the definition I gave is non standard.
btw, i'm really interested in the chat history but i don't have access to the dropbox yet, how do I get in with all the cool kids? Is there a secret password?
 
11:10 PM
Hello all ! First time here (=
Does anyone know about the current state of results regarding a version of Ravenel's localization conjecture in the motivic setting ?
 
11:26 PM
I'm not a cool kid either, so I dunno
 

« first day (2328 days earlier)      last day (24 days later) »