极化范畴理论、模块和游戏语义

J.R.B.Cockett和R.A.G.Seely

本文基于对阿布拉姆斯基-贾加迪桑游戏的分析考虑两层极化概念的范畴语义游戏，一种与（有限的）逻辑有密切联系的语义笛卡尔）和和乘积，以及乘法线性逻辑的结构。在每种情况下，结构都是极化的它将由两个类别建模，每个类别一个两个极性，通过模块结构将它们连接起来。这些是进行了相当详细的研究，并与Olivier Laurent提出了不同的极化概念：这两个概念之间的伴随关系。

关键词：极化范畴，极化线性逻辑，游戏语义，理论通信

2000 MSC:18D10,18C50,03F52,68Q55,91A05,94A05

范畴理论与应用， 2007年第18卷，第2号，第4-101页。

http://www.tac.mta.ca/tac/volumes/18/2/18-02.dvi
http://www.tac.mta.ca/tac/volumes/18/2/18-02.ps
http://www.tac.mta.ca/tac/volumes/18/2/18-02.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/18/2/18-02.dvi文件
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/18/2/18-02.ps