9.4 函子的应用——相关词词典