2月半ばに考えて2.20に解決した問題のメモ・解説です。 問題は「モノイダル圏のモノイド対象の中心はまたモノイド対象となるか？なるなら可換なのか？」です。 ネタバレしておくと、肯定的に解決できました。 以下を(完備な)モノイダル圏とし、をそのモノイ…