Cartographic Projection
every map is wrong, and by exactly how much
Figure

Three surfaces with the same curvature, one of which is a sphere

Drawn here at the parameters it defaults to, with every essay that calls it.
Three surfaces with the same curvature, one of which is a sphere. Every one of these is a surface of revolution whose Gaussian curvature is 1 at every point, built by solving r″ + r = 0 for the meridian rather than by writing a shape down. The spindle closes to a point with an angle deficit, the sphere closes smoothly, and the bulge does not close at all — it ends in two circular edges. A surveyor confined to a patch of any of them, measuring angles and distances, cannot tell which one it is.

Every one of these is a surface of revolution whose Gaussian curvature is 1 at every point, built by solving r″ + r = 0 for the meridian rather than by writing a shape down. The spindle closes to a point with an angle deficit, the sphere closes smoothly, and the bulge does not close at all — it ends in two circular edges. A surveyor confined to a patch of any of them, measuring angles and distances, cannot tell which one it is.

It is drawn by curvature-figure with show: "same-curvature" — one member of a family of 29 figures that share a generator, so the drawing above is what that generator returns when it is asked for this one and given nothing else.

1 essay calls it. Every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about.

Where it is called

Changing this changes every one of these figures.

Three surfaces with the same curvature, one of which is a sphere. Every one of these is a surface of revolution whose Gaussian curvature is 1 at every point, built by solving r″ + r = 0 for the meridian rather than by writing a shape down. The spindle closes to a point with an angle deficit, the sphere closes smoothly, and the bulge does not close at all — it ends in two circular edges. A surveyor confined to a patch of any of them, measuring angles and distances, cannot tell which one it is. The impossibility

Two surfaces with the same curvature

The ladder's base says curvature is the obstruction to a faithful map. It has never asked whether curvature is the whole obstruction — and it is, locally: there is a whole family of surfaces with the unit sphere's curvature at every point, none of them a sphere, and a geodesic circle drawn on one agrees with the same circle on another to one part in 10¹⁴.

The whole library