とりあえず、圏論からは戦術的転進するか。
別のネタを探そう。