PanLinx
日本語
jpn-000
関数範疇
English
eng-000
functor category
PanLex