lambda1@tg
says to
YSITD
automorphism 是指isomorphism from an object to itself, auto-自我