PanLinx
普通话
cmn-000
有限出现函子
English
eng-000
finitely presented functor
PanLex