\Dg X^I & \rTo \^{e_0} & X \\ \endDg