一般的な記述： 2-圏におけるモノイドが2つあって、それを繋ぐモノイド接続（monoid connector）が1つあるとする。このとき、モノイド接続は、加群の圏のあいだの関手を誘導する。この一般的な定理を、「モノイド接続の持ち上げ定理」と呼ぶことにする。モノ…

プロペラッドについては次が詳しい、大作。ハックニー／ロバートソン／ヤウ。 Title: Infinity Properads and Infinity Wheeled Properads Authors: Philip Hackney, Marcy Robertson, Donald Yau URL: http://arxiv.org/abs/1410.6716 続きかな？ Title: Th…