lambda1@tg
says to
YSITD
在數學, morphism 是指mapping (changing shapes)