投稿

とシステム1

2026/01/28

前の投稿に続けて書くと、圏論が実在論的な含意を持つことなく数学的対象をモデル論的に扱う理論の1種なのだとしたら、圏論を応用する研究が実在論的含意を持った上で数学的対象以外の存在者をバリバリ扱っていくつもりである場合、こちらとしては結構モヤモヤする。

2

1

コメント

とシステム1 投稿者

0

たぶん、コミットメント意味論を形式的に明確化する場合は、圏論を使うのがベターだと思う。コミットメント意味論は非実在論的な理論であるため、圏論が存在論的に中立的であることのいい例になると思うね。

2026/01/28 返信

とシステム1 投稿者

0

もちろん、圏論は存在論的には中立である。応用されると、しばしば実在論的な理論を明確にするツールになりかわる。

2026/01/28 返信

こう。

2026/01/29

心がめっちゃ曇り空～
雨ふってるかも、渇ききってるかも
晴れてほしくもない　だるーー

SUNDAY

CODE AXE

1

ﾆｬｵﾋﾟ

2026/01/29

普段仲良くしてる友達グループに1人だけ苦手な人がいて、でも周りの皆は普通に受け入れてるものだから誰にも何も言えないので、その苦手な人がいるときは静かにするか最初から混ざりにいかないようにしてる

2

リア友は見ないでね

2026/01/29

速攻足跡つけてブロックしてんの怖すぎて笑う

なんば

2026/01/29

メンタル強め美女白川さん好きすぎる

あめゐぬ

2026/01/29

自分に自信がないからさ、せめて見た目だけでも理想に近づけたら自己肯定感上がるって信じてる

1

y

2026/01/29

私って同い年の人に比べて成長が少し遅いんだよな
もう少し早く気づかなきゃいけない事とか経験しなきゃいけない壁に今ぶつかってる

2

もっとみる

あい(い

2025/08/13

ほいじゃ今日は下道で西に250kmぐらい行きましょうねー

5

アクア

2025/08/13

何にもとらわれずオタクしよ

6

なぎ

2025/08/13

ラビフェスのｼﾙﾊﾞｰｳﾞｧﾝﾙｰｼﾞｭ顔良すぎ

5

実鳥

2025/08/13

わたくし本日ホラーの短編小説を拝読しておりましたが、いたさんのお絵描きには今日一震え上がりましたね

3

アルミ

2025/08/13

みこちのたまごっちらっちってのになったのか
ピンクのネズミで絶妙な顔しててかわいいじゃん
#ホロ鯖サマーパーク

3

ゆうち

2025/08/13

るんるんしたあ！！(*´罒`*)

5

蒼

2025/08/13

いじめではないだろうよ。ただの暴行傷害だもんよ。

3

🐭ゆめ

2025/08/13

友達が都市伝説解体してるの見守ってますぞ♪(^.^)

2

TAKA@雑

2025/08/13

紙の原石青眼組んだのに結局全然デュエルしてないままどんどん環境に置いてかれていってる

5

まんぷ

2025/08/13

今日のライブ、ついに本当のナイスタイマーになれた気がした。特典会で推しメン(天野りこｸﾝの事です)に報告したらウケてた
#今日のスパつき

1

もっとみる

前の投稿に続けて書くと、圏論が実在論的な含意を持つことなく数学的対象をモデル論的に扱う理論の1種なのだとしたら、圏論を応用する研究が実在論的含意を持った上で数学的対象以外の存在者をバリバリ扱っていくつもりである場合、こちらとしては結構モヤモヤする。