nearby: https://urbigenous.net/library/universal_library.html which is reminiscent of https://en.wikipedia.org/wiki/Galois_connection#Syntax_and_s...