This is the current version of a short book about atoms that I am writing. The book begins with a discussion of automata models for infinite alphabets. Then, inspired by these automata, the book develops the theory of orbit-finite sets with atoms and computation on them.
The book was in hiatus for 6 years, but I returned to it in 2025, while giving a course about the topic. The new version has some new material (vector spaces) and deletes some of the automata material from the previous version.
All versions:
Leave a Reply