monoidal函子相关论文