7,598 reputation
1645
bio website people.mpim-bonn.mpg.de/…
location Bonn
age 33
visits member for 5 years, 2 months
seen yesterday

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 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.