愚痴： さまざまな「ならば」達 - 檜山正幸のキマイラ飼育記 文字や記号はいつだって足りないのだ - 檜山正幸のキマイラ飼育記 論理記号のいろいろ - 檜山正幸のキマイラ飼育記 型推論に関わる論理の概念と用語 その1 - 檜山正幸のキマイラ飼育記 絵算（スト…

ステイ／メリディスの次の論文、とても良い。 Title: Logic as a distributive law Author: Mike Stay, Lucius Gregory Meredith URL: https://arxiv.org/abs/1610.02247 僕がふだん考えていることだから、問題意識が一致して分かりやすい。本論じゃないとこ…

困った時の米田頼み、ご利益ツールズ - 檜山正幸のキマイラ飼育記 で述べたこと： 自然演繹とシーケント計算の関係は、僕が長年興味を持っているテーマのひとつです。ある程度は理解しているつもりなんですが、なんかスッキリしない。説明しろと言われれば出…

代数的定義形式とアンビエント構造 - 檜山正幸のキマイラ飼育記 メモ編 の続きで、ローヴェル・セオリーを可能とするフレームワークについて。ローヴェル・セオリーローヴェル・セオリーの導入・説明では、有限集合の圏FinSetの骨格として、基数（それ自身集…