My summary of discussion with Pat was: modal logic, rdf and category theory https://lists.w3.org/Archives/Public/semantic-web/2018Sep/0069.html 昨年9月の議論についてHStoryのまとめ。「カテゴリ」についての認識のずれとか、RDFのモデルにおいて真かどうかは実世界に依存するのでIndexicality（指標性）の問題になるのだとか、RDFの拡張についてだとか