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.
Loosely based on this explanation of how git works.
https://twitter.com/mrngm/status/660090126912081921