Noosphere89 comments on Jonothan Gorard:The territory is isomorphic to an equivalence class of its maps

[Noosphere89]

Note that it isn’t intended to be in any way a realistic program we could ever run, but rather an interesting ideal case where we could compute every well-founded set.