伏尔加河:箭头和Monoidal类别的理解