\infty-catをやる前に普通の圏の話。 monoidal catとは圏 Cと関手\otimes:C \times C \to Cおよび特別な対象1 \in C、さらにこれらが満たすべき性質を自然変換として持っているもの。例えば1 \otimes xとxが同型になってほしいが、これを関手Id:C \to Cとx\m…