PanLinx
普通话
cmn-000
左一一的函子
English
eng-000
left faithful functor
PanLex