« first day (1565 days earlier)      last day (1838 days later) » 

Newbie
Newbie
14:10
Hi
@ReubenStern hi
Reuben Stern
Reuben Stern
@Newbie I'm sorry, who are you?
Newbie
Newbie
@ReubenStern I just want to ask if the following question is suitable to post here in mathoverflow
0
Q: Understanding complex forms and confusions

NewbieI have few questions about forms that I am trying to grasp. So, first of all, let us consider the following things according to the order of difficulties. First, we have space $L_{\mathbb{R}}(\mathbb{C},\mathbb{R})$ which is the space of all linear real forms. We have the following operators $dx...

real-analysis complex-analysis differential-forms complex-geometry multilinear-algebra
Reuben Stern
Reuben Stern
This is not the general mathoverflow discussion, but rather the homotopy theory chat.
Newbie
Newbie
oh
 
1 hour later…
Espen Nielsen
Espen Nielsen
15:29
Is there a geometric interpretation of the Goodwillie derivatives of a representable functor from spectra to spectra?
 
1 hour later…
Saul Glasman
Saul Glasman
16:29
Surely a representable functor from spectra to spectra is linear?
Espen Nielsen
Espen Nielsen
That's not obvious to me. Is there an easy proof?
Some duality statement?
 
1 hour later…
Espen Nielsen
Espen Nielsen
17:50
Ah... of course it's linear... HA 6.1.1.28 implies it...
 
1 hour later…
Dylan Wilson
Dylan Wilson
19:13
Why is that not obvious? Between two stable categories isnt 'linear' just 'exact'?
 
1 hour later…
Jonathan Beardsley
Jonathan Beardsley
20:25
I'm having a bit of difficult thinking about the "kernel" of a map of operads O-->P in Vect_k. Is it just the level-wise kernel of vector spaces?
Matthias Volkov
Matthias Volkov
21:01
what kind of category do operads form?
Jonathan Beardsley
Jonathan Beardsley
symmetric monoidal? i dunno, probably other adjectives one could tack on, depending on what you're forming operads inside of.
Matthias Volkov
Matthias Volkov
but definitely not stable, right?
Saul Glasman
Saul Glasman
21:16
definitely not

« first day (1565 days earlier)      last day (1838 days later) »