Differential Categories Revisited-Reference-Cited by-同舟云学术

Differential Categories Revisited

Published:2019-07-04 Issue:2 Volume:28 Page:171-235
ISSN:0927-2852
Container-title:Applied Categorical Structures
language:en
Short-container-title:Appl Categor Struct

Author:

Blute R. F.,Cockett J. R. B.,Lemay J.-S. P.^ORCID,Seely R. A. G.

Funder

Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada

FRQNT

Oxford-Google DeepMind Graduate Scholarship

Clarendon Fund

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science,Algebra and Number Theory

Link

http://link.springer.com/content/pdf/10.1007/s10485-019-09572-y.pdf

Reference20 articles.

1. Bierman, G.M.: What is a categorical model of intuitionistic linear logic? In: International Conference on Typed Lambda Calculi and Applications, pp. 78–93. Springer (1995)

2. Blute, R.F., Cockett, J.R.B., Porter, T., Seely, R.A.G.: Kähler categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques 52(4), 253–268 (2011)

3. Blute, R.F., Cockett, J.R.B., Seely, R.A.G.: Differential categories. Math. Struct. Comput. Sci. 16(06), 1049–1083 (2006)

4. Blute, R.F., Cockett, J.R.B., Seely, R.A.G.: Cartesian differential categories. Theory Appl. Categ. 22(23), 622–672 (2009)

5. Blute, R.F., Cockett, J.R.B., Seely, R.A.G.: Cartesian differential storage categories. Theory Appl. Categ. 30(18), 620–686 (2015)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. δ is for Dialectica;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Koszul duality, minimal model and L∞-structure for differential algebras with weight;Advances in Mathematics;2024-02

3. Hypernormalisation in an abstract setting;Information and Computation;2023-08

4. Taylor Expansion as a Monad in Models of DiLL;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

5. Coherent differentiation;Mathematical Structures in Computer Science;2023-04