Short version:

lemmy: some sort of opensource type of Reddit

instances: can also be called servers, anyone can host a lemmy code.

community: synonym for subreddit

federation: instances can federate (connect) to each other and their users can interact with the connected instances, they can also defederate (disconnect).