Exponential functions in Cartesian differential categories (Q2035864): Difference between revisions

@@ Property / Wikidata QID @@
+Q115605338
@@ Property / Wikidata QID: Q115605338 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3088279211
@@ Property / OpenAlex ID: W3088279211 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04790
@@ Property / arXiv ID: 1911.04790 / rank @@
+Normal rank
@@ Property / cites work @@
+Directional derivatives and higher order chain rules for abelian functor calculus
+Normal rank
@@ Property / cites work @@
+Q3552029
@@ Property / cites work: Q3552029 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories revisited
@@ Property / cites work: Differential categories revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories
@@ Property / cites work: Differential categories / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian Differential Storage Categories
@@ Property / cites work: Cartesian Differential Storage Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904081
@@ Property / cites work: Q4904081 / rank @@
+Normal rank
@@ Property / cites work @@
+Cofree coalgebras and differential linear logic
@@ Property / cites work: Cofree coalgebras and differential linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Connections in Tangent Categories
@@ Property / cites work: Connections in Tangent Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Differential restriction categories
@@ Property / cites work: Differential restriction categories / rank @@
+Normal rank
@@ Property / cites work @@
+Differential structure, tangent structure, and SDG
+Normal rank
@@ Property / cites work @@
+Differential bundles and fibrations for tangent categories
+Normal rank
@@ Property / cites work @@
+Q2884463
@@ Property / cites work: Q2884463 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to differential linear logic: proof-nets, models and antiderivatives
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On monoids in the category of sets and relations
@@ Property / cites work: On monoids in the category of sets and relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tangent Category Alternative to the Fa\`a di Bruno Construction
+Normal rank
@@ Property / cites work @@
+Q2964106
@@ Property / cites work: Q2964106 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a categorical model of the differential and the resource λ-calculi?
+Normal rank
@@ Property / cites work @@
+An explicit formula for the free exponential modality of linear logic
+Normal rank
@@ Property / cites work @@
+On Sweedler's cofree cocommutative coalgebra.
@@ Property / cites work: On Sweedler's cofree cocommutative coalgebra. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4781173
@@ Property / cites work: Q4781173 / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential rings, exponential polynomials and exponential functions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2035864