Free differential modalities
Fuente:
arXiv
Saved in:
| Main Authors: | Garner, Richard, Lemay, Jean-Simon Pacaud |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Cartesian differential categories as skew enriched categories
by: Garner, Richard, et al.
Published: (2020)
by: Garner, Richard, et al.
Published: (2020)
Combining fixpoint and differentiation theory
by: Galal, Zeinab, et al.
Published: (2024)
by: Galal, Zeinab, et al.
Published: (2024)
Properties and Characterisations of Cofree Cartesian Differential Categories
by: Lemay, Jean-Simon Pacaud
Published: (2022)
by: Lemay, Jean-Simon Pacaud
Published: (2022)
An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence
by: Lemay, Jean-Simon Pacaud
Published: (2024)
by: Lemay, Jean-Simon Pacaud
Published: (2024)
Itegories
by: Cockett, Robin, et al.
Published: (2025)
by: Cockett, Robin, et al.
Published: (2025)
Classical Distributive Restriction Categories
by: Cockett, Robin, et al.
Published: (2023)
by: Cockett, Robin, et al.
Published: (2023)
Proceedings Eighth International Conference on Applied Category Theory
by: Hadzihasanovic, Amar, et al.
Published: (2026)
by: Hadzihasanovic, Amar, et al.
Published: (2026)
Fundamental Theorems of Calculus and Zinbiel Algebras
by: Lemay, Jean-Simon Pacaud
Published: (2024)
by: Lemay, Jean-Simon Pacaud
Published: (2024)
Cartesian Linearly Distributive Categories: Revisited
by: Kudzman-Blais, Rose, et al.
Published: (2025)
by: Kudzman-Blais, Rose, et al.
Published: (2025)
Dagger-Drazin Inverses
by: Cockett, Robin, et al.
Published: (2025)
by: Cockett, Robin, et al.
Published: (2025)
Generalized Inverses of Quantum Channels: a categorical perspective
by: Cockett, Robin, et al.
Published: (2026)
by: Cockett, Robin, et al.
Published: (2026)
Local categories: a new framework for partiality
by: Lanfranchi, Marcello, et al.
Published: (2025)
by: Lanfranchi, Marcello, et al.
Published: (2025)
Representable tangent structures for affine schemes
by: Lanfranchi, Marcello, et al.
Published: (2025)
by: Lanfranchi, Marcello, et al.
Published: (2025)
Cartesian Differential Kleisli Categories
by: Lemay, Jean-Simon Pacaud
Published: (2023)
by: Lemay, Jean-Simon Pacaud
Published: (2023)
From Moore-Penrose to Markov via Gauss
by: Comfort, Cole, et al.
Published: (2025)
by: Comfort, Cole, et al.
Published: (2025)
Derivations as Algebras
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2026)
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2026)
The Rosický Tangent Categories of Algebras over an Operad
by: Ikonicoff, Sacha, et al.
Published: (2023)
by: Ikonicoff, Sacha, et al.
Published: (2023)
Additive Enrichment from Coderelictions
by: Lemay, Jean-Simon Pacaud
Published: (2025)
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)
by: Cruttwell, G. S. H., et al.
Published: (2024)
From Abelianization to Tangent Categories
by: Ikonicoff, Sacha, et al.
Published: (2025)
by: Ikonicoff, Sacha, et al.
Published: (2025)
Traced Monads and Hopf Monads
by: Hasegawa, Masahito, et al.
Published: (2022)
by: Hasegawa, Masahito, et al.
Published: (2022)
Drazin Inverses in Categories
by: Cockett, Robin, et al.
Published: (2024)
by: Cockett, Robin, et al.
Published: (2024)
Extracting an $\mathbb{N}$-filtered differential modality from a differential modality
by: Vienney, Jean-Baptiste
Published: (2026)
by: Vienney, Jean-Baptiste
Published: (2026)
Graded Differential Categories and Graded Differential Linear Logic
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2023)
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2023)
Cartesian closed varieties II: links to algebra and self-similarity
by: Garner, Richard
Published: (2023)
by: Garner, Richard
Published: (2023)
Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2025)
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2025)
Stone Duality for Monads
by: Garner, Richard, et al.
Published: (2026)
by: Garner, Richard, et al.
Published: (2026)
Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories
by: Di Meglio, Matthew, et al.
Published: (2025)
by: Di Meglio, Matthew, et al.
Published: (2025)
An algebra modality admitting countably many deriving transformations
by: Vienney, Jean-Baptiste
Published: (2025)
by: Vienney, Jean-Baptiste
Published: (2025)
Colored Markov polycategories and diagrammatic differentiation
by: Papamarkou, Theodore
Published: (2026)
by: Papamarkou, Theodore
Published: (2026)
Learners are Almost Free Compact Closed
by: Riley, Mitchell
Published: (2025)
by: Riley, Mitchell
Published: (2025)
Free monad sequences and extension operations
by: Sattler, Christian
Published: (2025)
by: Sattler, Christian
Published: (2025)
Extranatural transformations, adjunctions of two variables and conjugation
by: Willerton, Simon
Published: (2025)
by: Willerton, Simon
Published: (2025)
Metric-like spaces as enriched categories: three vignettes
by: Willerton, Simon
Published: (2024)
by: Willerton, Simon
Published: (2024)
Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad
by: Libkind, Sophie, et al.
Published: (2024)
by: Libkind, Sophie, et al.
Published: (2024)
Discrete differential geometry in homotopy type theory
by: Langmead, Greg
Published: (2025)
by: Langmead, Greg
Published: (2025)
Constructing linear bicategories
by: Blute, Richard, et al.
Published: (2022)
by: Blute, Richard, et al.
Published: (2022)
Oracle modalities
by: Swan, Andrew W
Published: (2024)
by: Swan, Andrew W
Published: (2024)
A recollement of differential graded categories
by: Miranda, M. Lizbeth Shaid Sandoval, et al.
Published: (2025)
by: Miranda, M. Lizbeth Shaid Sandoval, et al.
Published: (2025)
Free Quantum Computing
by: Carette, Jacques, et al.
Published: (2026)
by: Carette, Jacques, et al.
Published: (2026)
Similar Items
-
Cartesian differential categories as skew enriched categories
by: Garner, Richard, et al.
Published: (2020) -
Combining fixpoint and differentiation theory
by: Galal, Zeinab, et al.
Published: (2024) -
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) -
Itegories
by: Cockett, Robin, et al.
Published: (2025)