Categorizing and promoting reversibility of mathematical concepts