2024年12月4日 · Submission Important dates . All deadlines are AoE (Anywhere on Earth). February 26: title and brief abstract submission; March 3: paper submission

2024年10月31日 · The quantum computation topic, and mentor, have changed to this: Structuring Quantum Effects with Monads and Arrows. Mentor: Juliana Kaizer Vizzotto Category theory provides a mathematical framework for understanding structures and their relationships abstractly.

2024年10月26日 · I’m writing a short column about this paper: W. P. Thurston, Shapes of polyhedra and triangulations of the sphere. Let me describe one of the key ideas as simply as I can.

2024年8月15日 · Galois Theory Posted by Tom Leinster. I’ve just arXived my notes for Edinburgh’s undergraduate Galois theory course, which I taught from 2021 to 2023.. I first shared the notes on my website some time ago. But it took me a while to arXiv them, because I wanted to simultaneously make public most of the other course materials.

2024年8月10日 · Guest post by C.B. Aberlé and Rubén Maldonado. Fibrations are a fundamental concept of category theory and categorical logic that have become increasingly relevant to the world of applied category theory thanks to their prominent use in applications such as the categorical semantics of dependent type theory, the study of dynamical systems, etc.

2024年10月29日 · Thurston’s paper Shapes of polyhedra and triangulations of the sphere is really remarkable. I’m writing about it in my next column for the Notices of the American Mathematical Society.Here’s a draft — which is also a much more detailed version of an earlier blog post here.

2024年9月25日 · Here’s some basic information about the next big annual applied category theory conference — Applied Category Theory 2025 — and the school that goes along with that: the Adjoint School.. James Fairbanks will hold ACT2025 and the Adjoint School at the University of Florida, in Gainesville, on these dates:. Adjoint School: May 26–30, 2025.

5 天之前 · I hope you’ve read the news: Ethan Singer, Thousands of U.S. government web pages have been taken down since Friday, New York Times, 2 Feburary 2025. Many of the pages taken down mention DEI, but they also include research papers on …

3 天之前 · This paper did it: Ruiyuan Chen, A universal characterization of standard Borel spaces, Journal of Symbolic Logic 88(2) (2023), 510–539. Here is his result: Theorem. The category SBor \mathsf{SBor} of standard Borel spaces and Borel maps is the (bi)initial object in the 2-category of countably complete countably extensive Boolean categories.. Here a category is countably complete if it has ...

6 天之前 · Next: Part 2 In this post and the next, I want to try out a new idea and see where it leads. It goes back to where magnitude began, which was the desire to unify elementary counting formulas like the inclusion-exclusion principle and the simple formula for the number of orbits in a free action of a group on a finite set.