Sep 16, 2022 On Thursday September 22, 2022 there will be a seminar on Young diagrams and classical groups. Here are the lecture notes. Ginot and Stiénon on Characteristic Classes of 2-Bundles Jan 11, ...

By combining scientific world models and mathematical proofs we will aim to construct a ‘gatekeeper’, an AI system tasked with understanding and reducing the risks of other AI agents. In doing so ...

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.

This week, 50 category theorists and software engineers working on “ safeguarded AI ” are meeting in Bristol. They’re being funded by £59 million from ARIA, the UK’s Advanced Research and Invention ...

Hello [email protected]. 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 ...

In Part 1, I explained my hopes that classical statistical mechanics reduces to thermodynamics in the limit where Boltzmann’s constant k k approaches zero. In Part 2, I explained exactly what I mean ...

Editable Accesskeys Accesskeys are a very nice mechanism for making your website more accessible. You can define a set of keyboard shortcuts for common navigational tasks, making it easier for ...

For questions 1 and 2, isn’t that true for any group G, not just the fundamental groups of a manifold? And moreover, I think of this as the definition of the profinite completion of a group: as an ...

What about extensions to a stable factorization system? It’s natural to expect that we’ll need a “left exactness” condition on the reflector that lies in between preserving finite products and ...

We discuss in this post how these questions led us to possible relations to information geometry. We would love to hear from you: Is magnitude an interesting invariant for information geometry? Is ...

Guest post by Todd Trimble While we’re waiting for more videos and notes from the Geometric Representation Theory seminar, now might be a good time to fill in more of the logical background to Jim ...