2012-06-08 モノイド関手 用語法 モノイド関手(monoidal functor)には、厳密(strict)、強(strong)、緩(lax)がある。形容詞がないと、どれを意味するかわからないから、形容詞を付けたほうがいい。