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

]]>Added a paper by Michael Weiss.

]]>all right, let’s start *orthogonal calculus*

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

]]>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.

]]>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.

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