scientific article; zbMATH DE number 7407795
From MaRDI portal
Publication:5155686
Authors: Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay 
Publication date: 8 October 2021
Full work available at URL: https://arxiv.org/abs/2011.12600
Title of this publication is not available (Why is that?)
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
Cartesian differential categoriescalculus of finite differencesstream calculusCartesian difference categorieschange actions
Cites Work
- A coinductive calculus of streams
- Title not available (Why is that?)
- The differential lambda-calculus
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- Title not available (Why is that?)
- Synthetic differential geometry
- Differential categories
- Boolean calculus of differences
- Title not available (Why is that?)
- Differential structure, tangent structure, and SDG
- Cartesian differential categories
- Skew-enriched categories
- Categorical Models for Simply Typed Resource Calculi
- A Tangent Category Alternative to the Fa\`a di Bruno Construction
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Closed categories vs. closed multicategories
- Cartesian differential categories revisited
- Connections in Tangent Categories
- Cartesian difference categories
- Change actions: models of generalised differentiation
- Logic Functions and Equations
Cited In (1)
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)
