PanLinx
普通话
cmn-000
反变函子
English
eng-000
contravariant functor
PanLex