エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
コンパクト閉圏
コンパクト閉圏の定義を示し、定義にまつわるいくつかの事柄を調べてみる。 より具体的には、「左」とい... コンパクト閉圏の定義を示し、定義にまつわるいくつかの事柄を調べてみる。 より具体的には、「左」という形容詞への違和感を述べ、一方で「単位」とい う用語法が整合的であることを裏付ける。 関連記事:お絵描き圏論 関連記事:コンパクト閉圏を定義する 関連記事:「圏論」インデックス 1. はじめに 2005年2月8日の時点において、Googleで "compact closed categories"(あ るいは、"compact closed category"、「コンパクト閉圏」)で日本語のペー ジを探しても、なんと2件しか出てこない。1件はこのChimairaサイトで、もう 1件は、 SLACS(スラックス; Symbolic Logic And Computer Science)1996年の発表プログラム内の、白 旗優(慶応大学商学部)氏発表のタイトル「A sequent calculus