bio  website  people.mpimbonn.mpg.de/… 

location  Bonn  
age  33  
visits  member for  5 years, 2 months 
seen  yesterday  
stats  profile views  5,331 
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.
2d

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 CWcomplex?
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 CWcomplex?
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 CWcomplex. 
Mar 26 
comment 
When does the Borel construction have the homotopy type of a CWcomplex?
P.S. I think all topological manifolds also have the homotopy type of a CWcomplex as well (when it's 2nd countable). 
Mar 26 
accepted  When does the Borel construction have the homotopy type of a CWcomplex? 
Mar 26 
comment 
When does the Borel construction have the homotopy type of a CWcomplex?
@QiaochuYuan: See my comment on Tyler's answer below. 
Mar 26 
comment 
When does the Borel construction have the homotopy type of a CWcomplex?
@JohnPardon: Yes, I really mean a CWcomplex. I just want it to satisfy Whitehead's theorem. 
Mar 26 
comment 
When does the Borel construction have the homotopy type of a CWcomplex?
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 CWcomplex? 
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. 