. "Integralresiduated l-groupoid" . . "Integralresiduated l-groupoid" .