J. Goubault-Larrecq, “Proper maps and quasi-adjoints”, Top Proc, vol. 68, pp. 137–156, Feb. 2026.