1-射だけでなく、k-射も考えよ。 対象の内部を覗くな。

今思いつく内在化 自然変換の成分を取る。 指数（内部ホム）で外部ホムを内在化する。 格下げ（demotion）で外部の射を対象にする。 上記の特殊例として、関手の値を取る。 より一般に、格下げで外部のn射を(n-1)射にする。 外在化は、 格上げで対象を射とし…