▽檜山正幸のｷﾏｲﾗ飼育記
●07/19 06:00
2025-07-18圏論的構造のﾄﾞﾘﾙﾀﾞｳﾝ雑記／備忘簡単な呼び名･言い回しで実は複雑な内容を語っていることがあります｡簡単な呼び名･言い回しを､ﾄﾞﾘﾙﾀﾞｳﾝ（だんだん詳細化する）方式で分析してみましょう｡例えば｢小さな圏の圏の2-圏｣は､けっこう複雑な内容を表しています｡$`\newcommand{\cat}[1…2025-07-17演繹とは何なのか？ 計算可能な図式間関数雑記／備忘｢判断的ｾｵﾘｰと判断計算｣で紹介したｺﾗﾘｱ／ﾃﾞｨ-ﾘﾍﾞｰﾙﾃｨの論文 "Context, Judgement, Deduction" は､｢演繹〈deduction〉とは何なのか？｣をﾃｰﾏにしています｡｢ﾒﾘｽ／ｼﾞﾙﾊﾞｰｶﾞｰの圏論的判断計算｣で紹介したﾒﾘｽ／ｼﾞﾙﾊﾞｰｶﾞｰの論…｢属性付き2-ｸﾞﾗﾌのｽﾉｰｸﾞﾛｰﾌﾞ現象｣に書いたように､属性付き2-ｸﾞﾗﾌではﾒﾀ巡回〈循環〉的状況が生じます

▽達人ﾌﾟﾛｸﾞﾗﾏｰを目指して
●03/28 07:56
達人ﾌﾟﾛｸﾞﾗﾏｰを目指して読者になる