News
Today I heard from David Benson that Jack Morava died yesterday. This comes as such a huge shock that I can’t help but hope Benson was somehow misinformed. Morava has been posting comments to the ...
Quick question. Classically the harmonic oscillator Hamiltonian is often written 1 2 ( p 2 + q 2), while quantum mechanically it gets some extra ‘ground state energy’ making the Hamiltonian ...
August 2025's Entries (BT) Diversity from (LC) Diversity Jack Morava Random Past Entries TeXnical Issues Sage advice on viewing this blog and posting comments thereon. Journal Publishers Hire the “Pit ...
Announcing the Clowder Project: a wiki and reference work for category theory built using the same general infrastructure and tag system of the Stacks Project.
Note: These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older ...
Example: suppose we have a data structure representing an abstract address. An address is, alternatively, an email address or a postal address like in the previous example. We can try to extract a ...
Back to modal HoTT. If what was considered last time were all, one would wonder what the fuss was about. Now, there’s much that needs to be said about type dependency, types as propositions, sets, ...
Freeman Dyson is a famous physicist who has also dabbled in number theory quite productively. If some random dude said the Riemann Hypothesis was connected to quasicrystals, I’d probably dismiss him ...
Faster-than-light neutrinos? Boring… let’s see something really revolutionary. Edward Nelson, a math professor at Princeton, is writing a book called Elements in which he claims to prove the ...
This is the first of a series of posts on how large cardinals look in categorical set theory. My primary interest is not actually in large cardinals themselves. What I’m really interested in is ...
Most recently, the Applied Category Theory Seminar took a step into linguistics by discussing the 2010 paper Mathematical Foundations for a Compositional Distributional Model of Meaning, by Bob Coecke ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results