galois connections - Robuta Search

https://arxiv.org/abs/2303.05244 [2303.05244] Transport via Partial Galois Connections and Equivalences Abstract page for arXiv paper 2303.05244: Transport via Partial Galois Connections and Equivalences galois connections 2303 05244 transport via