I want to go back over something from Part 11, but in a more systematic and self-contained way. I’m stating these facts roughly now, to not get bogged down. But I’ll state them precisely, prove them, ...

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...

This is the homepage for the UT Geometry and Quantum Field Theory Seminar. At the organizational meeting we will flesh out the details of our plans for the semester. Below are some suggestions to get ...

Nov 22, 2024 01:03 The quantum computation topic, and mentor, have changed to this: Structuring Quantum Effects with Monads and Arrows Mentor: Juliana Kaizer ...

If you have any questions or comments about this page, or about the accessibility of this site, please don't hesitate to contact the webmaster. All blog pages include a search box (AccessKey-4).

Dec 25, 2024 03:44 Also I thought I should mention that this conversation inspired me to collate my thoughts on some of these mathematical ...

Jan 13, 2025 01:49 Also, it seems that you didn’t explicitly show that the existence of identity functions for every set, while in the ...

Aug 20, 2012 A survey article on the formalization of aspects of quantum gauge field theory in the formal language of cohesive homotopy type theory.

Hello (none)@207.46.13.14. 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 ...