scientific article; zbMATH DE number 7407795

MaRDI QIDQ5155686FDOQ5155686

Authors Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay

Publication date 8 October 2021

Full work available at URL https://arxiv.org/abs/2011.12600

zbMATH Keywords

Cartesian differential categoriescalculus of finite differencesstream calculusCartesian difference categorieschange actions

Mathematics Subject Classification ID

Monoidal categories and operads (18Mxx) Higher categories and homotopical algebra (18Nxx)

Recommendations

• Cartesian difference categories
• Cartesian differential categories
• Cartesian differential categories revisited
• Differential categories
• Cartesian closed algebraic categories
• Cartesian differential categories as skew enriched categories
• scientific article; zbMATH DE number 7684599
• Cartesian integral categories and contextual integral categories
• Cartesian closed stable categories
• Cartesian closed Dialectica categories

Cites work

• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 3248272 (Why is no real title available?)
• scientific article; zbMATH DE number 3091969 (Why is no real title available?)
• A coinductive calculus of streams
• A tangent category alternative to the Faà di Bruno construction
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Boolean calculus of differences
• Cartesian difference categories
• Cartesian differential categories
• Cartesian differential categories revisited
• Categorical models for simply typed resource calculi
• Change actions: models of generalised differentiation
• Closed categories vs. closed multicategories
• Connections in tangent categories
• Differential categories
• Differential structure, tangent structure, and SDG
• Logic Functions and Equations
• Skew-enriched categories
• Synthetic differential geometry
• The differential lambda-calculus
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?

Cited in

(5)

• Cartesian difference categories
• Cartesian Difference Categories
• Jacobians and gradients for Cartesian differential categories
• Monoidal reverse differential categories
• Change actions: models of generalised differentiation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5155686)