Li-Fan Chen
says to
YSITD
我們來猜猜看什麼時候這邊的討論可以讓我理解自函子