Re: rdf and category theory https://lists.w3.org/Archives/Public/semantic-web/2018Sep/0001.html 4年前の議論の続きで、RDFは様相論理（modal logic）的な面があり、カテゴリ理論によれば様相論理と余代数（coalgebra）の関係は等式推論（equational reasoning）と代数の関係に対応する、のだという。さらに自分でなく別の誰かが真と考えるグラフの併合は云々ほかいろいろ書かれているが、とりあえず