... equivalence betw een its image and coimage its image is the localization category w hich is equivalent to a Kleisli category its coimage is the quotient ...
確定! 回上一頁