Robin Kaarsgaard Mathys Rennela Join inverse rig categories for reversible functional programming, and beyond. MFPS 2021 152-167 journals/corr/abs-2112-13746 https://doi.org/10.4204/EPTCS.351.10 https://arxiv.org/abs/2105.09929 db/series/eptcs/eptcs351.html#abs-2105-09929