The identity morphism idX:X→X is simply (the equivalence class of) idXxy:=x=Xy. ... are used for the 'individuals' which are called morphisms or maps.
確定! 回上一頁