https://faculty.math.illinois.edu/~cmalkiew/stable.pdf 昨日のように、\otimesとIについての自然変換を持ち、unit, assoc, symmと交換する子関手をlax monoidalという。 忘却関手Ab \to Setはlax monoidalである。 台集合の直積からテンソル積の台集合に…