  In this note I construct some categories which can be called Arithmetic
Teichmuller Spaces. This construction is very broadly inspired by Shinichi
Mochizuki's ideas on Anabelian Geometry, p-adic Teichmuller theory and his work
on the abc-conjecture, but my approach is based on a completely different set
of ideas.
