Li-Fan Chen
says to
Ubuntu 台灣社群
他吃集合論 拓樸學 範疇論 抽象代數之類的