Anybody know a thing or two about goodwillie's calculus of functors?
The nlab page has a quote that goes something like this:
"One tantalzing aspect of the goodwillie calculus is that it suggests...that [the category of] spaces has some non-trivial curvature."
What can anyway give me an idea of what this is supposed to mean?
>>8577001
>What can anyway give me an idea of what this is supposed to mean?
it means nothing. it's just pure mathematics and trying to justify their useless autism-fueled creations
>>8577004
Please go.
>>8577001
wow categories look a lot like eggs
egg theory...!?
>>8577044
Potentially categories could exibit topological behavior, that's an interesting thought. Maybe the inf-category of topological spaces has the "curvature" of a the n-spheres
>After the talk Boekstedt asked about that remark. We discussed the matter at length and found more than one connection on the category of spaces, but none that was not flat. In fact curvature is the wrong thing to look for. There are in some sense exactly two tangent connections on the category of spaces (or should we say on any model category?). Both are flat and torsion-free. There is a map between them, so it is meaningful to subtract them. As is well-known in differential geometry, the difference between two connections is a 1-form with values in endomorphisms (whereas the curvature is a 2-form with values in endomorphisms). Thus there is a way of discussing the discrepancy between pushouts and pullbacks in the language of differential geometry, but it is a tensor field of a different type from what I had guessed.
>>8577046
curvature is not topological
>>8577993
Well not with that attitude it isn't!