Kähler categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 52 (2011) no. 4, article no. 2, 16 p.
@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},
     eid = {2},
     pages = {253--268},
     publisher = {Andr\'ee CHARLES EHRESMANN},
     volume = {52},
     number = {4},
     year = {2011},
     mrnumber = {2895953},
     zbl = {1254.13026},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_2011__52_4_253_0/}
}
TY  - JOUR
AU  - Blute, Richard
AU  - Cockett, J.R.B.
AU  - Porter, Timothy
AU  - Seely, R.A.G.
TI  - Kähler categories
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 2011
SP  - 253
EP  - 268
VL  - 52
IS  - 4
PB  - Andrée CHARLES EHRESMANN
UR  - http://archive.numdam.org/item/CTGDC_2011__52_4_253_0/
LA  - en
ID  - CTGDC_2011__52_4_253_0
ER  - 
%0 Journal Article
%A Blute, Richard
%A Cockett, J.R.B.
%A Porter, Timothy
%A Seely, R.A.G.
%T Kähler categories
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2011
%P 253-268
%V 52
%N 4
%I Andrée CHARLES EHRESMANN
%U http://archive.numdam.org/item/CTGDC_2011__52_4_253_0/
%G en
%F 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) no. 4, article  no. 2, 16 p. http://archive.numdam.org/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 | Zbl

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

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

[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 | Zbl

[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 | Zbl

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

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

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

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

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

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

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

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

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