bio  website  ncatlab.org/nlab/show/… 

location  Adelaide, Australia  
age  30  
visits  member for  4 years, 9 months 
seen  6 hours ago  
stats  profile views  9,277 
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 logalgebraic 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 2group 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 leadingterm coefficient in terms of places without distinction
added 277 characters in body 
Jul 30 
comment 
BSD leadingterm 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 leadingterm 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 leadingterm coefficient in terms of places without distinction
deleted 2 characters in body 
Jul 30 
comment 
BSD leadingterm 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 leadingterm 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 RossStreet, do you mean JoyalStreet? ;) I may just have to do movie diagrams in the end. And all this is to check whether something is a strong/lax monoidal 2functor with values in said symmetric monoidal bicat :) 