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
   • CommentTimeDec 11th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexThe MO question _[Where do all the projection formulas come from?](http://mathoverflow.net/q/67228/381)_ made me split off a dedicated entry _[[projection formula]]_. Also redirecting _[[reciprocity]]_.

   The MO question Where do all the projection formulas come from? made me split off a dedicated entry projection formula. Also redirecting reciprocity.

2. • CommentRowNumber2.
   • CommentAuthorDavid_Corfield
   • CommentTimeDec 11th 2013
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexWas there anything usefully different in the earlier question [Ubiquity of the push-pull formula](http://mathoverflow.net/questions/18799/ubiquity-of-the-push-pull-formula) and answers?

   Was there anything usefully different in the earlier question Ubiquity of the push-pull formula and answers?

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeDec 11th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexOh, I had missed that. Right, that makes what I just posted essentially just a duplicate. (That's the problem with MO: it will keep reduplicating itself over and over again.)

   Oh, I had missed that. Right, that makes what I just posted essentially just a duplicate.

   (That’s the problem with MO: it will keep reduplicating itself over and over again.)

4. • CommentRowNumber4.
   • CommentAuthorDavid_Corfield
   • CommentTimeDec 11th 2013
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexBut it was a chance to advertise dependent linear type theory :)

   But it was a chance to advertise dependent linear type theory :)

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeMar 29th 2021
   • (edited Mar 29th 2021)
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer on discussion in [[real cohomology]] for [[integration of differential forms]]: * [[Raoul Bott]], [[Loring Tu]], Prop. 6.15 in: _[[Differential Forms in Algebraic Topology]]_, Graduate Texts in Mathematics 82, Springer 1982 ([doi:10.1007/978-1-4757-3951-0](https://link.springer.com/book/10.1007/978-1-4757-3951-0)) <a href="https://ncatlab.org/nlab/revision/diff/projection+formula/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/projection+formula/5">v5</a>, <a href="https://ncatlab.org/nlab/show/projection+formula">current</a>

   added pointer on discussion in real cohomology for integration of differential forms:

   • Raoul Bott, Loring Tu, Prop. 6.15 in: Differential Forms in Algebraic Topology, Graduate Texts in Mathematics 82, Springer 1982 (doi:10.1007/978-1-4757-3951-0)

   diff, v5, current

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeMay 19th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Bill Lawvere]], p. 6 in: _[[Equality in hyperdoctrines and comprehension schema as an adjoint functor]]_, Proceedings of the AMS Symposium on Pure Mathematics XVII (1970) 1-14 &lbrack;[pdf](https://ncatlab.org/nlab/files/LawvereComprehension.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/projection+formula/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/projection+formula/6">v6</a>, <a href="https://ncatlab.org/nlab/show/projection+formula">current</a>

   added pointer to:

   • Bill Lawvere, p. 6 in: Equality in hyperdoctrines and comprehension schema as an adjoint functor, Proceedings of the AMS Symposium on Pure Mathematics XVII (1970) 1-14 [pdf]

   diff, v6, current

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeMay 19th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Martin Gallauer]], p. 11 of *An introduction to six-functor formalism*, lecture at *[The Six-Functor Formalism and Motivic Homotopy Theory](https://sites.google.com/view/summer-school-motivic/home)*, Università degli Studi di Milano (Sept. 2021) &lbrack;[arXiv:2112.10456](https://arxiv.org/abs/2112.10456), [pdf](https://homepages.warwick.ac.uk/staff/Martin.Gallauer/docs/m6ff.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/projection+formula/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/projection+formula/7">v7</a>, <a href="https://ncatlab.org/nlab/show/projection+formula">current</a>

   added pointer to:

   • Martin Gallauer, p. 11 of An introduction to six-functor formalism, lecture at The Six-Functor Formalism and Motivic Homotopy Theory, Università degli Studi di Milano (Sept. 2021) [arXiv:2112.10456, pdf]

   diff, v7, current