monoidalじゃないclosed categoryの直感が全く湧かない
なんか順序集合で例を作れないかなぁハイティング代数をいじって「→はあるけど∧は無いことがある」順序って作れないものか
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
なんか順序集合で例を作れないかなぁ
ハイティング代数をいじって「→はあるけど∧は無いことがある」順序って作れないものか