Why does it require the ranges to be disjoint? As far as I know the most common use of glueing is to define functions by cases, and the glued parts all have the very same target...
glue f gwas built so that it is bijective if and only if
gare. I did not see another way to make it happen.
patch f gdoes the job you seem to have in mind.
Last updated: Jan 30 2023 at 12:03 UTC