Lemma. iso [kostecki2011introduction, 2.4] [tt-000E]
Lemma. iso [kostecki2011introduction, 2.4] [tt-000E]
An iso arrow is always monic and epic. However, not every arrow which is monic and epic is also iso.
An iso arrow is always monic and epic. However, not every arrow which is monic and epic is also iso.