Kähler categories
Blute, Richard ; Cockett, J.R.B. ; Porter, Timothy ; Seely, R.A.G.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 52 (2011), p. 253-268 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 2011-01-01
@article{CTGDC_2011__52_4_253_0,
     author = {Blute, Richard and Cockett, J.R.B. and Porter, Timothy and Seely, R.A.G.},
     title = {K\"ahler categories},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {52},
     year = {2011},
     pages = {253-268},
     mrnumber = {2895953},
     zbl = {1254.13026},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_2011__52_4_253_0}
}

Blute, Richard; Cockett, J.R.B.; Porter, Timothy; Seely, R.A.G. Kähler categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 52 (2011) pp. 253-268. http://gdmltest.u-ga.fr/item/CTGDC_2011__52_4_253_0/

[1] [M. Barr, C. Wells, 1985] Toposes, Triples and Theories, Springer-Verlag. Reprinted in Reprints in Theory and Applications of Categories, (2005). | MR 2178101 | Zbl 1081.18006

[2] [J. Beck, 1967] Triples, Algebras and Cohomology, thesis. Reprinted in Reprints in Theory and Applications of Categories, (2003). | MR 1987896 | Zbl 1022.18004

[3] [R. Blute, J.R.B. Cockett, R.A.G. Seely, 2006] Differential categories, Mathematical Structures in Computer Science 16, pp. 1049-1083. | MR 2285592 | Zbl 1115.03092

[4] [R. Blute, J.R.B. Cockett, R.A.G. Seely, 1996] ! and ?: Storage as Tensorial Strength, Mathematical Structures in Computer Science 6, pp. 313-351. | MR 1408599 | Zbl 0860.18004

[5] [R. Blute, T. Ehrhard, C. Tasson, 2011] A convenient differential category. To appear in Cahiers de Topologie et Géométrie Différentielle Catégorique. | MR 2905778 | Zbl 1281.46061

[6] [N. Bourbaki, 1985] Algebra, Ch. III, section 10.10-10.12, Hermann. | JFM 68.0507.01

[7] [E. Dubuc, A. Kock, 1984] On 1-form classifiers, Communications in Algebra 12, pp. 1471-1531. | MR 744457 | Zbl 1254.51005

[8] [T. Ehrhard, 2002] On Köthe sequence spaces and linear logic. Mathematical Structures in Computer Science 12, pp. 579-623. | MR 1934421 | Zbl 1025.03066

[9] [T. Ehrhard, 2005] Finiteness spaces. Mathematical Structures in Computer Science 15, pp. 615-646. | MR 2158033 | Zbl 1084.03048

[10] [T. Ehrhard, L. Regnier, 2003] The differential lambda-calculus. Theoretical Computer Science 309, pp. 1-41. | MR 2016523 | Zbl 1070.68020

[11] [T. Ehrhard, L. Regnier, 2006] Differential interaction nets. Theoretical Computer Science 364, pp 166-195. | MR 2268026 | Zbl 1113.03054

[12] [A. Frölicher, A. Kriegl, 1988] Linear Spaces and Differentiation Theory, Wiley. | MR 961256 | Zbl 0658.46002

[13] [R. Hartshorne, 1977] Algebraic Geometry. Springer-Verlag. | MR 463157 | Zbl 0532.14001

[14] [H. Matsumura, 1970] Commutative Algebra, W.A. Benjamin Co. | MR 266911 | Zbl 0211.06501