この逆が与えられた圏において成り立つならば、その圏は(単型射の意味において)正則("regular")であるという。