Cover Image

Graded Differential Categories and Graded Differential Linear Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lemay, Jean-Simon Pacaud, Vienney, Jean-Baptiste
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Category Theory 18F40, 18M45, 16W50 F.3.2; F.m
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cartesian Differential Kleisli Categories
by: Lemay, Jean-Simon Pacaud
Published: (2023)

Properties and Characterisations of Cofree Cartesian Differential Categories
by: Lemay, Jean-Simon Pacaud
Published: (2022)

An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence
by: Lemay, Jean-Simon Pacaud
Published: (2024)

Varieties of quantitative algebras as categories
by: Adamek, Jiri
Published: (2024)

The Rosický Tangent Categories of Algebras over an Operad
by: Ikonicoff, Sacha, et al.
Published: (2023)

From Abelianization to Tangent Categories
by: Ikonicoff, Sacha, et al.
Published: (2025)

Additive Enrichment from Coderelictions
by: Lemay, Jean-Simon Pacaud
Published: (2025)

A Tangent Category Perspective on Connections in Algebraic Geometry
by: Cruttwell, G. S. H., et al.
Published: (2024)

Certified Knowledge Compilation with Application to Formally Verified Model Counting
by: Bryant, Randal E., et al.
Published: (2025)

Cartesian Linearly Distributive Categories: Revisited
by: Kudzman-Blais, Rose, et al.
Published: (2025)

Derivations as Algebras
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2026)

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition
by: Lee, Hochang, et al.
Published: (2021)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

What is a monoid?
by: Levy, Paul Blain, et al.
Published: (2025)

Representable tangent structures for affine schemes
by: Lanfranchi, Marcello, et al.
Published: (2025)

Implications of computer science theory for the simulation hypothesis
by: Wolpert, David H.
Published: (2024)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

Very-Well-Behaved Epireflections for Categories of Models of Sketches
by: Xarez, João J.
Published: (2025)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

Cogent argument extensions are weakly admissible but not vice versa
by: Bodanza, Gustavo
Published: (2025)

Generating Higher Identity Proofs in Homotopy Type Theory
by: Benjamin, Thibaut
Published: (2024)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Taking Complete Finite Prefixes To High Level, Symbolically
by: Würdemann, Nick, et al.
Published: (2023)

A computational method for left-adjointness
by: Forest, Simon
Published: (2024)

Multicategorical Semantics for Untyped Effects
by: Grunfeld, Ariel, et al.
Published: (2026)

Computationally efficient orthogonalization for pairwise comparisons method
by: Benitez, Julio, et al.
Published: (2024)

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

Multivariate functorial difference
by: Paré, Robert
Published: (2024)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

A Categorical Framework for Program Semantics and Semantic Abstraction
by: Katsumata, Shin-ya, et al.
Published: (2023)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
by: Martinez-Rivillas, Daniel O., et al.
Published: (2026)

The Relative Monadic Metalanguage
by: Liell-Cock, Jack, et al.
Published: (2025)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

Traced Monads and Hopf Monads
by: Hasegawa, Masahito, et al.
Published: (2022)

Pseudolimits for Tangent Categories with Applications to Equivariant Algebraic and Differential Geometry
by: Pronk, Dorette, et al.
Published: (2023)

Egalitarian Price of Fairness for Indivisible Goods
by: Celine, Karen Frilya, et al.
Published: (2024)

The dimension of the tangent bundle and the universality of the vertical lift
by: Schwarz, Florian
Published: (2026)

A characterization of differential bundles in tangent categories
by: Ching, Michael
Published: (2024)

On the profinite fundamental group of a connected Grothendieck topos
by: Berger, Clemens, et al.
Published: (2023)