双積とダガーを持つ圏
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/docid/719198/filename/CatNLsem3.pdf - 29p.
- Natural Language Semantics in Biproduct Dagger Categories
- Anne Preller
- https://hal.archives-ouvertes.fr/file/index/docid/860382/filename/BiproductDaggerJAL.pdf
https://hal.archives-ouvertes.fr/lirmm-00860382/document - 34p.
ボブ・クックもなんかやっているようだ。
- Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras
- Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke
- http://arxiv.org/pdf/1401.5980v1.pdf
- 21p.
ダガー・コンパクト圏の解説なら、やっぱりセリンガーだろう。
- Dagger compact closed categories and completely positive maps (extended abstract)
- Peter Selinger
- http://www.mscs.dal.ca/~selinger/papers/dagger.pdf
- 23p.
最近、次のようなものも見つけた。オーソモジュラー性とか。
- Orthomodularity in dagger biproduct categories
- John Harding
- https://www.math.nmsu.edu/~jharding/2008%20Orthomodularity%20in%20Dagger%20Biproduct%20Categories.pdf
- 36p.
