10,463 reputation
43082
bio website ncatlab.org/nlab/show/…
location Adelaide, Australia
age 30
visits member for 4 years, 9 months
seen 6 hours ago
Pure mathematician interested in category theory and foundations.

1d
comment Who know about Rumek proof
@Jaykov if it were true, it would be in all the newspapers in the world, not just in a quiet mailing list dedicated to the foundations of mathematics. PS not everything you read on the internet is true.
Aug
23
comment Lawvere's “Some thoughts on the future of category theory.”
youtube.com/playlist?list=PLRIsuk3ZOitzDqeVKOZhe0MrzEUtRNAh5 is a video of the actual talk. It is, from the few minutes I've watched, less overtly philosopical.
Aug
23
comment A question about cardinal numbers when the Axiom of Choice is absent
@Asaf ah, of course, my mistake
Aug
23
awarded  Nice Question
Aug
21
comment A question about cardinal numbers when the Axiom of Choice is absent
Oh @AsafKaragila, you're too modest. Your paper in Fund. Math. already has some results in this direction...
Aug
14
revised Does OCA imply $2^{\aleph_0}=\aleph_2$?
edited tags
Aug
12
comment Central extension of the algebraic loop group
@AndréHenriques regarding the existence of and algebraic String, I now suspect that it exists in log-algebraic geometry.
Aug
12
comment Central extension of the algebraic loop group
@MatthiasWendt Thanks, and no worries about the advertisement! I guessed there was something going on with simple connectedness, because the motivic spheres are bigraded, and I guess this comes from the 'other' grading, somehow.
Aug
8
awarded  Popular Question
Aug
2
comment Central extension of the algebraic loop group
@mattias simplicial sheaves is fine by me, I mean the String 2-group lives there in the smooth version. But what if the group is simply connected? I mean in the traditional sense (say, SL_n), perhaps A^1 simple connectedness is different... Do you have a reference for all this?
Jul
30
revised BSD leading-term coefficient in terms of places without distinction
added 277 characters in body
Jul
30
comment BSD leading-term coefficient in terms of places without distinction
Well, for instance, $Reg_E/\#E_{tors}(\mathbb{Q})$ is the volume of the stack $E(\mathbb{Q})\otimes \mathbb{R}//E(\mathbb{Q})$, do the other terms assemble into a measure of such a thing? Namely, is there a geometric object, say over adeles, such that this is the measure of it?
Jul
30
comment BSD leading-term coefficient in terms of places without distinction
I really don't know anything about this, I'm just asking if there's a more sophisticated formulation that doesn't make a distinction between different completions. Certainly I'm expecting a more fancy interpretation of the terms, cf the Tamagawa number conjecture.
Jul
30
revised BSD leading-term coefficient in terms of places without distinction
deleted 2 characters in body
Jul
30
comment BSD leading-term coefficient in terms of places without distinction
A single expression is perhaps too ambitious, but treating the different places in a uniform way is really what would be nice.
Jul
30
asked BSD leading-term coefficient in terms of places without distinction
Jul
29
comment 'Convex' slices of proper actions
Hmm, that's an idea. In my intended application the orbit space will be compact, which helps. Of course, I'm really thinking proper groupoids, rather than group actions, but I think I can reduce to the case of a (full) subgroupoid of an action groupoid.
Jul
29
revised String diagrams for bimodules over noncommutative algebras?
added 2 characters in body
Jul
29
accepted String diagrams for bimodules over noncommutative algebras?
Jul
28
comment String diagrams for bimodules over noncommutative algebras?
Good to know Lurie's paper has been given some approving nods. By Ross--Street, do you mean Joyal--Street? ;-) I may just have to do movie diagrams in the end. And all this is to check whether something is a strong/lax monoidal 2-functor with values in said symmetric monoidal bicat :-)