Arrow laws (・・・やっぱりつらいので左右逆にならないようにする) 以下、水平方向は考えないで、垂直方向のみ 1-category の composition とする。 メモ 「1.」と「 2.」は の functoriality。 「6.」は の についての extranaturality。 ただし、naturality …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。