Input: Y are _ morphisms and g is quasi-compact and surjective.
Output: 

two