Search results
Jun 12, 2024 · Jacob Lurie, (∞,2)-Categories and the Goodwillie Calculus (arXiv:0905.0462) Last revised on June 12, 2024 at 23:18:31. See the history of this page for a list of all contributions to it.
Jun 22, 2024 · Jacob Lurie, Sec. 3.2 of: Higher Topos Theory, Annals of Mathematics Studies 170, Princeton University Press 2009 (pup:8957, pdf) Intuition of Lurie’s construction is discussed in: MathOverflow: Why is the straightening functor the analogue of the Grothendieck construction?
Jun 13, 2024 · We develop a theory of weighted colimits in the framework of weakly bi-enriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result...
Jun 23, 2024 · Jacob Lurie, section 6.5 of Higher Topos Theory; The analogous formulation in homotopy type theory: Univalent Foundations Project, §8.8 in: Homotopy Type Theory – Univalent Foundations of Mathematics (2013) [web, pdf] Corresponding formalization in Agda: Dan Licata, Whitehead.agda
Jun 13, 2024 · To get a V R from V, one needs an extra piece of structure: a real conjugation on V. This is a map. σ: V → V. which. commutes with the S U ( 2) action. is antilinear. σ ( λ v) = λ ― σ ( v) satisfies σ 2 = 1. V R is then the conjugation-invariant subset of V.
4 days ago · A Few Items. Posted on July 2, 2024 by woit. A few items, all involving Peter Scholze in one way or another: A seminar in Bonn on Scholze’s geometrization of real local Langlands is finishing up next week. This is working out details of ideas that Scholze presented at the IAS Emmy Noether lectures back in March.
Jun 19, 2024 · The press release explains that the authors have discovered how to use string theory to provide “an easier way to extract pi from calculations involved in deciphering processes like the quantum scattering of high-energy particles.”.
