[incompatible]

Isn't one a subset of the other? A system with federation must have multiple instances, but a system with multiple instances doesn't need to federate (in the sense of information passing between independently managed instances.)

[akho]

Yes. My original question was whether federation is necessary for the kind of communities Mastodon serves, not whether the web must have multiple websites.