The Liquid Tensor Experiment | The n-Category Café
Dec 6, 2020 · The Liquid Tensor Experiment. Peter Scholze has just published a challenge to the automated mathematical formalisation community in a post – Liquid tensor experiment – on …
Enrichment and the Legendre--Fenchel Transform I | The n …
Apr 16, 2014 · The Legendre–Fenchel transform, or Fenchel transform, or convex conjugation, is, in its naivest form, a duality between convex functions on a vector space and convex functions …
About Jacques Distler - University of Texas at Austin
Voice: (512) 471-2950 :: Fax: (512) 471-4888. Email: [email protected]. PGP public key. Hello [email protected]. So nice of you to stop by. I'm a member of the Theory …
Linguistics Using Category Theory | The n-Category Café
Feb 6, 2018 · Linguistics Using Category Theory. guest post by Sarah Griffith and Jade Master. Most recently, the Applied Category Theory Seminar took a step into linguistics by discussing …
A Visual Telling of Joyal's Proof Of Cayley's Formula
Dec 7, 2019 · Cayley’s formula says how many trees there are on a given set of vertices. For a set with n n elements, there are n n − 2 n^{n - 2} of them. In 1981, André Joyal published a …
February 2020 Archives | The n-Category Café - University of Texas …
Feb 26, 2020 · The previous discussion on category mistakes got me reading Ofra Magidor’s SEP article on the subject. Magidor was the right choice to produce this article as the author in …
Instiki - University of Texas at Austin
Feb 3, 2018 · Instiki is free software, licensed under the same license as Ruby. The current release version is 0.30.2. The current development version (which is what this site is running …
Stirling's Formula from Statistical Mechanics | The n-Category Café
Aug 25, 2024 · Stirling’s formula says. N! ∼ √2πN(N e)N. where ∼ means that the ratio of the two quantities goes to 1 as N → ∞. Some proofs start with the observation that. N! = ∫∞ 0xNe − …
The Weaire--Phelan Structure | The n-Category Café
The curvature of the hexagonal film on the two sides of the plane of its six long diagonals is beautifully shown by reflected light. Anyway, for over a century this so-called ‘Kelvin structure’ …
Grothendieck's "Tohoku" paper | The n-Category Café
Sep 7, 2010 · Grothendieck’s “Tohoku” paper. Posted by John Baez. Michael Barr has spent a lot of time and effort translating Grothendieck’s legendary “ Tohoku ” paper into English. If you …