Servers with a mining dimension have a separate world meant mainly for resource gathering, often with boosted ore rates or custom generation and regular resets so it doesn’t get strip-mined forever. It’s usually kept separate from the main survival world to protect builds and reduce griefing, and may have different rules like no building or no claiming.