Skip to the Main Content

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 browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

January 29, 2024

Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions

Posted by Tom Leinster

Guest post by Matthew di Meglio

Recently, my PhD supervisor Chris Heunen and I uploaded a preprint to arXiv giving an axiomatic characterisation of the category FCon\mathbf{FCon} of finite-dimensional Hilbert spaces and linear contractions. I thought it might be nice to explain here in a less formal setting the story of how this article came to be, including some of the motivation, ideas, and challenges.

Posted at 1:31 PM UTC | Permalink | Followups (6)

January 24, 2024

Summer Research at the Topos Institute

Posted by John Baez

Are you a student wanting to get paid to work on category theory in Berkeley? Then you’ve got just one week left to apply! The application deadline for Research Associate positions at the Topos Institute is February 1st.

Details and instructions on how to apply are here:

Posted at 2:53 AM UTC | Permalink | Post a Comment