A bit more than a month ago, I’ve been reminded of a beautiful construction of yet another Cartesian-closed category of spaces, generalizing the topological spaces: the *equilogical spaces* of Bauer, Birkedal, and Scott. Simply put, equilogical spaces are formal (not actual) quotients of topological spaces by equivalence relations. See the full post.