books
Writing
I write to make sheaves, category theory, and formal reasoning something you can actually learn from and start doing things with
2022 · MIT Press · open access
An accessible, example-driven introduction to sheaves and category theory, built around unexpected applications, and a widely used entry point to the subject. Worked hard to make it open-access, so enjoy!
“With precise definitions and brimming with creative and illustrative examples, ranging from the Penrose Triangle to image processing, Sheaf Theory through Examples is probably the most pleasant way to learn about sheaves.”
David Spivak, Chief Scientist, Topos Institute
A hands-on, exercise-first companion or sequel to Sheaf Theory through Examples, built around worked exercises, so that you discover the concepts yourself by doing.