k-オペレータはk-射に作用するオペレータ、関手は (0 | 1)-オペレータ。 絵図要素 圏論 射の次元 ワイヤー 対象 Cの0-射 ノード 射 Cの1-射 ボックス 1-オペレータ Cの射ではない 細いストライプ 0-オペレータ Cの射ではない ストライプ 関手 Cの射ではない …