![](https://cdn-ak-scissors.b.st-hatena.com/image/square/71d8d2eee338ef3bbc7ad9a8ecce436df2922439/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JUUzJTgyJTgyJUUzJTgxJTg2JUU4JUFCJUE2JUUzJTgyJTgxJUUzJTgxJUFBJUUzJTgxJTg0JUU1JTlDJThGJUU4JUFCJTk2JUU1JTlGJUJBJUU3JUE0JThFJUUyJTgwJTk1JUU5JUFCJTk4JUU2JUFDJUExJUU1JTg1JTgzJUU1JTlDJThGJUUzJTgxJUE4JUU1JUE0JTg5JUU2JThGJTlCJUU2JTg5JThCJUUyJTgwJTk1JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmcz05ZmM0MTI5N2I2ZDBlMTY3MTdjNDgyMDM0OGFlYTllMw%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBub3Jrcm9uJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz0wODFjMDRkZDg0ZGQ0MmYwNGYxYzE0NGE3MzhmM2JmNg%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3Df1e90791e8aebbbe883143744b88ace0)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
もう諦めない圏論基礎―高次元圏と変換手― - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
もう諦めない圏論基礎―高次元圏と変換手― - Qiita
以下では厳密 2-圏の場合に焦点を当て、 $2$-$k$-変換手(すなわち 2-関手、2-自然変換、2-変更) をスト... 以下では厳密 2-圏の場合に焦点を当て、 $2$-$k$-変換手(すなわち 2-関手、2-自然変換、2-変更) をストライプ・ダイアグラムで描いてみよう。 ストライプ・ダイアグラム 2-圏 $\boldsymbol{\mathcal{C}}$ の対象 $a,b$ および 1-射 $f,f' \colon a \longrightarrow b$ と 2-射 $\theta \colon f \Longrightarrow f'$ をストリング・ダイアグラムで描くと次のようになる。 ラックス 2-関手 $(\mathcal{F},\mu,\eta)$ は $\mathcal{F}$ によって 2-圏 $\boldsymbol{\mathcal{C}}$ の対象および 1-射と 2-射を 2-圏 $\boldsymbol{\mathcal{D}}$ の対象 $\mathcal{F}\ a,\m