Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJan 4th 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have created an entry-for-inclusion _[[Goodwillie calculus - contents]]_, and have included it as a "floating table of contents" into the relevant entries.

   I have created an entry-for-inclusion Goodwillie calculus - contents, and have included it as a “floating table of contents” into the relevant entries.

2. • CommentRowNumber2.
   • CommentAuthorDavid_Corfield
   • CommentTimeJan 5th 2016
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexWe're using Goodwillie calculus as a synonym for 'calculus of functors'? Wikipedia's [page](https://en.wikipedia.org/wiki/Calculus_of_functors) claims there are three branches * manifold calculus, such as embeddings, * homotopy calculus, and * orthogonal calculus. The references at [[Goodwillie calculus]] are for the first and second, but there seems no mention of the third.

   We’re using Goodwillie calculus as a synonym for ’calculus of functors’?

   Wikipedia’s page claims there are three branches

   • manifold calculus, such as embeddings,
   • homotopy calculus, and
   • orthogonal calculus.

   The references at Goodwillie calculus are for the first and second, but there seems no mention of the third.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeJan 5th 2016
   • (edited Jan 5th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI am referring to the tower of reflections $P_n \colon [\mathcal{C}, \mathcal{D}] \to Exc^n(\mathcal{C}, \mathcal{D})$ to $n$-excisive functors (for suitable $\mathcal{C}$ and $\mathcal{D}$). This is Goodwillie's setup, some authors synonymously also call it "calculus of homotopy functors", e.g. section 10.1 of "Cubical homotopy theory" ([pdf](http://palmer.wellesley.edu/~ivolic/pdf/Papers/CubicalHomotopyTheory.pdf)) The "manifold calculus" is just a special case of this, see section 10.2 of this article. About "orthogonal calculus" I am not sure at the moment, would need to check.

   I am referring to the tower of reflections $P_n \colon [\mathcal{C}, \mathcal{D}] \to Exc^n(\mathcal{C}, \mathcal{D})$ to $n$-excisive functors (for suitable $\mathcal{C}$ and $\mathcal{D}$). This is Goodwillie’s setup, some authors synonymously also call it “calculus of homotopy functors”, e.g. section 10.1 of

   “Cubical homotopy theory” (pdf)

   The “manifold calculus” is just a special case of this, see section 10.2 of this article.

   About “orthogonal calculus” I am not sure at the moment, would need to check.

4. • CommentRowNumber4.
   • CommentAuthorDavid_Corfield
   • CommentTimeJan 5th 2016
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexThere some comparison in [Comparing the orthogonal and homotopy functor calculi](http://arxiv.org/abs/1505.05458) by Barnes and Eldred.

   There some comparison in Comparing the orthogonal and homotopy functor calculi by Barnes and Eldred.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeJan 5th 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexall right, let's start _[[orthogonal calculus]]_

   all right, let’s start orthogonal calculus

6. • CommentRowNumber6.
   • CommentAuthorDavid_Corfield
   • CommentTimeJan 5th 2016
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexAdded a paper by Michael Weiss.

   Added a paper by Michael Weiss.

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeJan 6th 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks. I have expanded the Idea-section accordingly, and cross-linked a bit more.

   Thanks. I have expanded the Idea-section accordingly, and cross-linked a bit more.