以下のナタニエル・アーカーとディラン・マクダルメットの論文に、カン拡張と同様な、“左または右”の“拡張または持ち上げ”（正規表現で書くなら {左 | 右}{拡張 | 持ち上げ}）の定義が出てきます。 [AM23] Title: The formal theory of relative moanads Aut…