bio  website  math.jhu.edu/~beardsle 

location  Baltimore, MD  
age  27  
visits  member for  3 years, 9 months 
seen  17 mins ago  
stats  profile views  2,169 
Learning.
2d

accepted  The Image of the Mod 2 Homology of BSp in the Homology of BSO 
Sep 11 
comment 
Category of modules over commutative monoid in symmetric monoidal category
This sort of stuff is shown in a lot of places that I know of for topological categories, and these things follow as degenerate cases of that, but that's probably overkill. 
Sep 11 
accepted  Higher coherent multiplicative structures on Salgebras 
Sep 11 
comment 
Higher coherent multiplicative structures on Salgebras
I see. Ah, that's frustrating. I mean, yeah, I'm interested entirely in $E_2$ and above, but I guess I was hoping this had been worked out. Thanks! 
Sep 11 
comment 
Higher coherent multiplicative structures on Salgebras
Nah I'm just talking about an $A$module in the traditional sense. 
Sep 11 
comment 
Higher coherent multiplicative structures on Salgebras
So it's not clear that one can actually tensor together two $A$modules and get another $A$module back, is that what you're saying? 
Sep 11 
asked  Higher coherent multiplicative structures on Salgebras 
Sep 6 
comment 
Flat Connections on the Cotangent Complex
Thanks @JasonStarr, at the moment I'm only finding something about the Atiyah class. This seems to be an obstruction to supporting a connection, or something along these lines. Is that what you're referring to? 
Sep 6 
asked  Flat Connections on the Cotangent Complex 
Aug 28 
comment 
Why is Set, and not Rel, so ubiquitous in mathematics?
I think the main reason we stick so close to functions is purely historical. Set theory and category theory are natural generalizations of things that already existed  that is, geometry, space and time, as was said above. However, I'd also say that there seems to be a general theme of looking at relationeqsue objects when one starts working with motives. That is, subsets of $X\times Y$ satisfying some property, rather than functions $X\to Y$. 
Aug 24 
comment 
Can formal logic give a precise notion of “canonical”?
I am not a logician, but I agree with @DavidCorwin here. It's clear that there are lots of logical ways to pick one shoe over the other, but that seems to be missing the point. It's like working with objects versus pointed objects. However, this seems like a tacitly illogical state of affairs, in that by asking to pick one "over" the other, you're assigning value in some way, which seems a little nonmathematical. 
Aug 24 
answered  Higher Degree Data in a Cosimplicial Quasicategory and Delooping 
Aug 23 
revised 
Higher Degree Data in a Cosimplicial Quasicategory and Delooping
added 248 characters in body 
Aug 22 
asked  Higher Degree Data in a Cosimplicial Quasicategory and Delooping 
Aug 14 
awarded  Nice Question 
Jul 23 
comment 
Detection of stable homotopy by Ktheory spectra
@BenWieland Sorry, so in saying that char. 0 fields and transcendental char. p fields detect everything, you're saying that they detect elements of all heights? Or are you saying rather that the detect the entire image of J? 
Jul 23 
accepted  Detection of stable homotopy by Ktheory spectra 
Jul 23 
comment 
Detection of stable homotopy by Ktheory spectra
Wow Ben, thank you so much for your answer! That's really helpful. So, it would seem then that from a chromatic point of view, algebraic Ktheory is (at least morally) sort of stuck at height 1? 
Jul 22 
asked  Detection of stable homotopy by Ktheory spectra 
Jul 12 
comment 
Multiplicative Structures on Moore Spectra
For what it's worth, it seems like what you're getting at is this fundamental difficulty we have in spectra of talking about "modding out by ideals," since you're only looking at localization versus taking quotients. 