|
|
|
|
|
||
|
||
すべて | グループ指定なし | 知人 | 法哲学 | 法律・法学 | 社会・経済 | 数学・論理学 | マンガ・アニメ・映画・ゲーム | 哲学
2025-07-18
圏論的構造のドリルダウン
雑記／備忘
簡単な呼び名・言い回しで実は複雑な内容を語っていることがあります。簡単な呼び名・言い回しを、ドリルダウン（だんだん詳細化する）方式で分析してみましょう。例えば「小さな圏の圏の2-圏」は、けっこう複雑な内容を表しています。$`\newcommand{\cat}[1…
2025-07-17
演繹とは何なのか？ 計算可能な図式間関数
雑記／備忘