dvostrani inverzni element morfizma (dvostrani inverz morfizma)

morfizam $g:b\to a$ za dani morfizam $f:a\to b$ u kategoriji $C$ takav da je $g\circ f = \mathrm{id}_a:a\to a$ i $f\circ g = \mathrm{id}_b:b\to b$