Equilogical spaces

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.