用户1340774522
:「因果关系，或者类似的与逻辑无关的关系，是原子命题 1-category 上的 morphism \rightarrow，例如『下雨 \rightarrow 地湿』；它们的范畴是 Sta。条件关系是原子命题 2-category Log 上的 morphism \vdash，『(下雨 \rightarrow 地湿) \vdash （地不湿 \rightarrow 没下雨）』，同时是 Sta 范畴上的...
全文
2020-08-14 01:46:32
举报
收藏
操作
转发
评论
赞[0]
还没有人赞过:
我来赞一个