اینۀ دوریخت

💡 درحالی‌که هر ایزوریختار یک دوریخت هم هست، یک دوریخت الزاماً یک ایزوریختار نیست. برای مثال، در رسته حلقه‌های جابجایی، شمول Z → Q یک دوریختار است که ایزوریختار نیست. بااین‌حال، هر ریختاری که هم اپی‌ریختار و هم یک مونوریختار تجزیه‌ای است، یا اینکه هم یک مونوریختار باشد و هم یک اپی‌ریختار تجزیه‌ای باشد، آنوقت باید حتما یک ایزوریختار هم باشد. یک رسته، مثل یک مجموعه، که در آن هر دوریختار یک ایزوریختار هم هست، یک رسته متوازن نام دارد.