资讯

Following SoTFom II, which managed to feature three talks on Homotopy Type Theory, there is now a call for papers announced for SoTFoM III and The Hyperuniverse Programme, to be held in Vienna, ...
Why Mathematics is Boring I don’t really think mathematics is boring. I hope you don’t either. But I can’t count the number of times I’ve launched into reading a math paper, dewy-eyed and eager to ...
So far in this series we’ve described the correspondence between type theory and homotopy theory and defined some basic notions of homotopy theory in type theory, including equivalences in several ...
It’s an underappreciated fact that the interior of every simplex Δ n is a real vector space in a natural way. For instance, here’s the 2-simplex with twelve of its 1-dimensional linear subspaces drawn ...
for each object X, Y, Z X, Y, Z in C \mathcal {C}. These are subject to the following conditions. The simplex category Δ \mathbf {\Delta} and its subcategory Δ⊥ \mathbf {\Delta}_ {\bot} A simple ...
I’m sitting on a plane to Sydney for Category Theory 2013, the major annual gathering of category theorists. At some point I’ll write about the talk I’m giving, which answers the question about ...
where (a) n = a (a + 1) (a + n 1) is the rising factorial, or Pochhammer symbol. This function was first studied in detail by Carl Friedrich Gauss, who explored the conditions for its convergence.
Following a suggestion by some publishing company, there is the idea of creating a book that collects contributions from various authors on the topic Mathematical Foundations of Quantum Field and ...
Hello unknown@40.77.167.70. So nice of you to stop by. I'm a member of the Theory Group here at UT. I've been at UT since September 1994. Before coming here, I was an Assistant Professor in the theory ...
In week241 of This Week’s Finds, you can follow me on my tour of the Laser Interferometry Gravitational-Wave Observatory in Louisiana: Also hear some tales of the dodecahedron… from the pyritohedron ...
Yes, both sets of co-authors should be corrected. The pyknotic team is Clark Barwick and Peter Haine. The condensed team is Dustin Clausen and Peter Scholze. There’s some relation with the ...
where K K is the separable closure of k k, G = Gal(K | k) G = \mathrm {Gal} (K|k) is the Galois group, and we’re taking the group cohomology of G G with coefficients in the group of units K∗ K^\ast, ...