Transport via Partial Galois Connections and Equivalences

Kevin Kappelmann

Multiple types can represent the same concept. For example, lists and trees can both represent sets. Unfortunately, this easily leads to incomplete libraries: some set-operations m…