2015年の秋くらいに見つけたモノが： Semantics in Biproduct Dagger Categories: a quantum logic for natural language Anne Preller https://hal.archives-ouvertes.fr/file/index/docid/719198/filename/CatNLsem3.pdf https://hal.inria.fr/file/index/…

表現と加群は同じことだが、それを考えるために： アンビエント・ドクトリン： 世界となる圏の圏、2-圏構造を使うこともある 単対象サブドクトリン：アンビエント・ドクトリンのなかで、単対象のものだけの集まり。圏になる。 表現サブドクトリン：表現の舞…