home | writings

Milo Moses

I am an intern at Logical Intelligence, where I work on formal verification and automated theorem proving. I am also a resident at the residency. During the academic year, I am a mathematics PhD student at Caltech, advised by Alexei Kitaev. I did my undergraduate studies in the College of Creative Studies at UC Santa Barbara.

My academic work is about topological quantum information. If you want a quick introduction to the sort of things I think about, I recommend taking a look at the Wikipedia pages for modular tensor categories and Fibonacci anyons which I created.

I have a really cool brother.

Hanging out at the Huntington.

My CV.

My email is "milo [at] caltech.edu".

I have been a community member at MathOverflow and Math Stack Exchange, as well as a contributor to the nLab and Wikipedia.

1 / 6

Topological computing with the group D4, from "Non-Abelian topological order and anyons on a trapped-ion processor" by Iqbal et al.

2 / 6

Diagram from "A Blueprint for a Topologically Fault-tolerant Quantum Computer" by Bonderson et al.

3 / 6

Defects on a torus, from "G-Crossed Modularity of Symmetry Enriched Topological Phases" by Babakhani et al.

4 / 6

Topological system based on semiconducting nanowires in a superconductor, from "Non-Abelian quantum order in spin-orbit-coupled semiconductors: The search for topological Majorana particles in solid state systems" by Sau et al.

5 / 6

A computation in the language of Topological Quantum Field Theory, from "Modular categories as representations of the 3-dimensional bordism 2-category", by Bartlett et al.

6 / 6

Formula in "From Subfactors to Categories and Topology II" by Michael Muger

❮ ❯

If I were a Springer-Verlag Graduate Text in Mathematics, I would be Saunders Mac Lane's Categories for the Working Mathematician. I provide an array of general ideas useful in a wide variety of fields. Starting from foundations, I illuminate the concepts of category, functor, natural transformation, and duality. I then turn to adjoint functors, which provide a description of universal constructions, an analysis of the representation of functors by sets of morphisms, and a means of manipulating direct and inverse limits. Which Springer GTM would you be? The Springer GTM Test

One must not be childishly repelled by the examination of the humbler animals, for in all things of nature there is something wonderful - Aristotle

Last updated: May 31, 2026