Right inverse Left inverse (disambiguation) Loop (algebra) Right-cancellative Section (category theory)