Buchumschlag

Compositional Taylor expansion in cartesian differential categories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Walch, Aymeric
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Coherent Taylor expansion as a bimonad
von: Ehrhard, Thomas, et al.
Veröffentlicht: (2023)

Absolute convergence and Taylor expansion in web based models of Linear Logic
von: Tasson, Christine, et al.
Veröffentlicht: (2026)

Internship report: Coherent differentiation in models of Linear Logic
von: Walch, Aymeric
Veröffentlicht: (2024)

The equivariant model structure on cartesian cubical sets
von: Awodey, Steve, et al.
Veröffentlicht: (2024)

On the cartesian product of well-orderings
von: Vialard, Isa
Veröffentlicht: (2022)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

Extensional Taylor Expansion
von: Blondeau-Patissier, Lison, et al.
Veröffentlicht: (2023)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

A cartesian closed fibration of higher-order regular languages
von: Melliès, Paul-André, et al.
Veröffentlicht: (2026)

Effect Algebras as Omega-categories
von: Perticone, Lorenzo, et al.
Veröffentlicht: (2023)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
von: Barbarossa, Davide
Veröffentlicht: (2024)

Adhesive category theory for graph rewriting in Rocq
von: Arsac, Samuel, et al.
Veröffentlicht: (2025)

The category of well-filtered dcpos is not $Γ$-faithful
von: Miao, Hualin, et al.
Veröffentlicht: (2024)

Non-expansive Fuzzy ALC
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

A formulation of D-institution using functor categories
von: Hashimoto, Go
Veröffentlicht: (2026)

Internal languages of locally cartesian closed $(\infty,1)$-categories
von: Cherradi, El Mehdi
Veröffentlicht: (2025)

Pregroup representable expansions of residuated lattices
von: Craig, Andrew, et al.
Veröffentlicht: (2026)

The $\infty$-category of $\infty$-categories in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2026)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
von: Barto, Libor, et al.
Veröffentlicht: (2021)

A coherent differential PCF
von: Ehrhard, Thomas
Veröffentlicht: (2022)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
von: Aristote, Quentin
Veröffentlicht: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2026)

Higher order differential calculus in mathlib
von: Gouëzel, Sébastien
Veröffentlicht: (2025)

Comparing differentiable logics for learning with logical constraints
von: Flinkow, Thomas, et al.
Veröffentlicht: (2024)

Invertible cells in $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

The internal languages of univalent categories
von: van der Weide, Niels
Veröffentlicht: (2024)

Compositional Confluence Criteria
von: Shintani, Kiraku, et al.
Veröffentlicht: (2023)

Compositional Reversible Computation
von: Carette, Jacques, et al.
Veröffentlicht: (2024)

Hofmann-Streicher lifting of fibred categories
von: Slattery, Andrew, et al.
Veröffentlicht: (2025)

Unbiasing symmetric monoidal categories in Lean
von: Carlier, Robin
Veröffentlicht: (2026)

Monoidal categories graded by partial commutative monoids
von: Earnshaw, Matthew, et al.
Veröffentlicht: (2026)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
von: Wrona, Michal
Veröffentlicht: (2024)

Compositional Control-Driven Boolean Circuits
von: Arellanes, Damian
Veröffentlicht: (2025)

Coco: Corecursion with Compositional Heterogeneous Productivity
von: Kim, Jaewoo, et al.
Veröffentlicht: (2025)

Compositional Value Iteration with Pareto Caching
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

A type-theoretic approach to semistrict higher categories
von: Rice, Alex
Veröffentlicht: (2025)

A type theory for invertibility in weak $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2026)