MathOverflow
Q&A for professional mathematiciansag.algebraic-geometry nt.number-theory reference-request co.combinatorics fa.functional-analysis pr.probability dg.differential-geometry at.algebraic …
Newest Questions - MathOverflow
2 days ago · Q&A for professional mathematicians
Equivalence among $\tau$-theory, elementary topos and
Jun 30, 2025 · In Johnstone's book "Sketches of an Elephant: A topos theory compendium, volume 2" (referred as Elephant), he defined a higher-order typed (intuitionistic) …
Status of the Stanley–Stembridge conjecture - MathOverflow
Nov 5, 2024 · As mentioned in the post on Stanley's 25 positivity problems, Tatsuyuki Hikita posted a preprint on October 16, 2024 purporting to prove Problem 21, the …
Tour - MathOverflow
MathOverflow is a question and answer site for professional mathematicians. It's built and run by you as part of the Stack Exchange network of Q&A sites. With your help, we're working …
What is Lagrange Inversion good for? - MathOverflow
Nov 29, 2016 · I am planning an introductory combinatorics course (mixed grad-undergrad) and am trying to decide whether it is worth budgeting a day for Lagrange inversion. The reason I …
English Versions of EGA and SGA - MathOverflow
Jul 5, 2024 · As a non-French speaker, does anyone have any English translations of EGA and SGA? If you citing them would be helpful. Thanks in advance.
game theory - The duel problem - MathOverflow
The following duel problem is due to Ben Polak (maybe there's earlier origin, which I'll be glad to be informed about). The rule is as follows: Two players 1 and 2 ...
Help Center - MathOverflow
Q&A for professional mathematiciansWelcome to MathOverflow! Founded in 2009, we are a community of mathematicians focused on asking and answering mathematical questions …
Synthetic vs. classical differential geometry - MathOverflow
To provide context, I'm a differential geometry grad student from a physics background. I know some category theory (at the level of Simmons) and differential and Riemannian geometry (at …