PanLinx
普通话
cmn-000
有限共完全范畴
English
eng-000
finitely cocomplete category
PanLex