This is the current version of a short book about atoms that I am writing (it is currently in feature freeze). 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.

At the current stage, I do not intend to add new material except for: fixing errors, an introduction, exercises and their solutions. If you find mistakes in the current version, please put them preferably here or  otherwise here.

All versions:

• September 11, 2019
• May 22, 2019
• December 28, 2018
• December 4, 2018
• November 30, 2018
• April 15, 2017

 

COMMENTS