https://faculty.math.illinois.edu/~cmalkiew/stable.pdf
昨日のように、\otimesとIについての自然変換を持ち、unit, assoc, symmと交換する子関手をlax monoidalという。
忘却関手Ab \to Setはlax monoidalである。
台集合の直積からテンソル積の台集合に自然な射があり、一点からZに射がある。
unit, assoc, symmとも交換する。
またこの左随伴として集合に対し、それを基底にもつ自由アーベル群を対応させる関手を考えると、Z^{X \times Y}=Z^X \otimes Z^Y, Z^{*}=Zであるからstrong monoidal
