bio | website | people.mpim-bonn.mpg.de/… |
---|---|---|
location | Bonn | |
age | 33 | |
visits | member for | 5 years, 4 months |
seen | Jul 18 at 6:56 | |
stats | profile views | 5,390 |
I am a postdoc at the Max Planck Institute for Mathematics. I did my PhD at Utrecht University under the advisement of Ieke Moerdijk. My thesis was entitled "Categorical Properties of Topological and Differentiable Stacks". My current research interests are applications of higher category, derived geometry, and recently field theory.
May 20 |
comment |
Representing topoi by topological groupoids
You're much more likely to get a response if, instead of referring to the article for definitions, you provide them here. |
May 2 |
accepted | Direct proof that the model category of cdgas is left proper |
May 2 |
comment |
Direct proof that the model category of cdgas is left proper
Thank you Tyler! |
May 1 |
asked | Direct proof that the model category of cdgas is left proper |
Apr 23 |
awarded | Nice Answer |
Mar 31 |
comment |
When is the category of small (pre)sheaves a(n elementary) topos?
You might want to edit your question so the reader knows that you mean "elementary topos", as some crowds use topos to mean Grothendieck topos. |
Mar 30 |
awarded | Nice Answer |
Mar 27 |
comment |
Are all quotients of a weakly contractible space via a free group action classifying spaces of the group?
If $G$ is a compact Lie group, then any free action on a Tychonoff space is a principal bundle. |
Mar 27 |
comment |
When does the Borel construction have the homotopy type of a CW-complex?
Thanks, I was just about to send you an email asking about that, I assume you meant double mapping cylinder? I think I'll just send the email :). |
Mar 26 |
comment |
When does the Borel construction have the homotopy type of a CW-complex?
Actually, using your mapping cone idea, it's probably easiest to work directly with the fat geometric realization of the nerve of the action groupoid $G \ltimes X$. Each of its skeleta, by your above observation, will have the homotopy type of a CW-complex. |
Mar 26 |
comment |
When does the Borel construction have the homotopy type of a CW-complex?
P.S. I think all topological manifolds also have the homotopy type of a CW-complex as well (when it's 2nd countable). |
Mar 26 |
accepted | When does the Borel construction have the homotopy type of a CW-complex? |
Mar 26 |
comment |
When does the Borel construction have the homotopy type of a CW-complex?
@QiaochuYuan: See my comment on Tyler's answer below. |
Mar 26 |
comment |
When does the Borel construction have the homotopy type of a CW-complex?
@JohnPardon: Yes, I really mean a CW-complex. I just want it to satisfy Whitehead's theorem. |
Mar 26 |
comment |
When does the Borel construction have the homotopy type of a CW-complex?
Thanks! The model for $EG$ I am using is the fat geometric realization of the (topologically enriched) nerve of the topological action groupoid $G \ltimes G$. Please correct me if I'm wrong, but I imagine that the same argument goes through by using the skeleta filtration of its fat geometric realization. |
Mar 26 |
asked | When does the Borel construction have the homotopy type of a CW-complex? |
Mar 26 |
answered | Your favorite surprising connections in Mathematics |
Mar 26 |
comment |
Smooth maps considered as locally ringed space morphisms?
So what you've actually proven is that the topological spaces embed fully faithfully into locally ringed spaces, by, taking as their structure sheaves the sheaf of $\mathbb{R}$-valued functions, great! |
Mar 25 |
comment |
A comprehensive functor of points approach for manifolds
@HarryGindi: This is an old question, so maybe you're not interested anymore. However, would you be satisfied if you had a categorical characterization of which sheaves on the site of open subsets of Euclidean spaces and smooth maps are representable by a manifold? If so, I have an answer for you, so let me know. |
Mar 24 |
comment |
simplicial spaces without degeneracies
Actually, it turns out that there are more problems, e.g. $X_k \times \partial \Delta^k \to X_k \times \Delta^k$ is not a Serre cofibration in general, and the above mentioned T1 property. However, you can get around both of these by using facts in Appendix A of citeseerx.ist.psu.edu/viewdoc/…. I need this fact in a paper I am writing, so the complete write up should appear on the arXiv soon. |