Understanding #Mastodon gets easier once you get the basic idea that federation between servers can be understood as homeomorphisms across hyperplanes between the Riemannian manifolds of toots, whereas the servers represent countable finite sets of discrete entities.