University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Tangent ∞-categories and Goodwillie calculus

Tangent ∞-categories and Goodwillie calculus

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact info@newton.ac.uk.

HHH - Homotopy harnessing higher structures

Goodwillie calculus is a set of tools in homotopy theory developed, to some extent, by analogy with ordinary differential calculus. The goal of this talk is to make that analogy precise by describing a common category-theoretic framework that includes both the calculus of smooth maps between manifolds, and Goodwillie calculus of functors, as examples.   This framework is based on the notion of “tangent category” introduced first by Rosicky and recently developed by Cockett and Cruttwell in connection with models of differential calculus in logic, with the category of smooth manifolds as the motivating example. In joint work with Kristine Bauer and Matthew Burke (both at Calgary) we generalize to tangent structures on an (∞,2)-category and show that the (∞,2)-category of presentable ∞-categories possesses such a structure. This allows us to make precise, for example, the intuition that the ∞-category of spectra plays the role of the real line in Goodwillie calculus. As an application we show that Goodwillie's definition of n-excisive functor can be recovered purely from the tangent structure in the same way that n-jets of smooth maps are in ordinary calculus. If time permits, I will suggest how other concepts from differential geometry, such as connections, may play out into the context of functor calculus.

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity