用户1340774522 :「因果关系，或者类似的与逻辑无关的关系，是原子命题 1-category 上的 morphism \rightarrow，例如『下雨 \rightarrow 地湿』；它们的范畴是 Sta。条件关系是原子命题 2-category Log 上的 morphism \vdash，『(下雨 \rightarrow 地湿) \vdash （地不湿 \rightarrow 没下雨）』，同时是 Sta 范畴上的 endofunctor。『非』操作不仅在会改变 Log 上的morphism的方向（有种映到 dual category的味道），还会在 Sta 范畴的 object 上做 Z_2 automorphism；如果不考虑『非』操作，Sta 范畴是可以忽略的，人可以只考虑 Log。如果有『非』操作，Sta 范畴就不能忽略了，而且最好把它看成一个 Z_2 上的 2-category（或者可以看成 Sta 上的 Z_2 presheaf，或者 Sta 是有 Z_2 section 的纤维丛），在对 3-category 做『非』这个对偶操作的时候，在 Z_2 上会诱导一个 -1 态射。同时 Log 上的 dual 不应该诱导 Sta 上的 dual,这样 Sta 上的那个 canonical endofunctor 才能够同时看成 Hom-functor。
构造的主要问题就是怎样让『非』操作和它诱导的箭头方向的变换看起来更自然点。」   08月14日 01:46  举报 收藏 操作