Copertina

Cartesian Differential Kleisli Categories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Lemay, Jean-Simon Pacaud
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Category Theory Programming Languages 18F40, 18C20 F.3.2; F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Graded Differential Categories and Graded Differential Linear Logic
di: Lemay, Jean-Simon Pacaud, et al.
Pubblicazione: (2023)

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

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

From Abelianization to Tangent Categories
di: Ikonicoff, Sacha, et al.
Pubblicazione: (2025)

Multicategorical Semantics for Untyped Effects
di: Grunfeld, Ariel, et al.
Pubblicazione: (2026)

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

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

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

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)

Additive Enrichment from Coderelictions
di: Lemay, Jean-Simon Pacaud
Pubblicazione: (2025)

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

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

From Copying to Corelations via Ancestry Partitions
di: Santacana, Andreu Ballus
Pubblicazione: (2025)

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

What kind of linearly distributive category do polynomial functors form?
di: Spivak, David I., et al.
Pubblicazione: (2024)

Unitary, Inner product, and Dagger categories
di: Cockett, Robin, et al.
Pubblicazione: (2026)

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

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

Generating Higher Identity Proofs in Homotopy Type Theory
di: Benjamin, Thibaut
Pubblicazione: (2024)

Tangentads: a formal approach to tangent categories
di: Lanfranchi, Marcello
Pubblicazione: (2025)

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

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)

Unraveling the iterative CHAD
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2025)

Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories
di: Biggin, Aaron, et al.
Pubblicazione: (2025)

Internalizing Tools as Morphisms in Graded Transformers
di: Shaska, Tony
Pubblicazione: (2025)

Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions
di: Shen, Lili, et al.
Pubblicazione: (2021)

Skolem, Gödel, and Hilbert fibrations
di: Trotta, Davide, et al.
Pubblicazione: (2024)

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

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
di: Alpay, Faruk
Pubblicazione: (2025)

Intersection Types for a Computational Lambda-Calculus with Global State
di: de'Liguoro, Ugo, et al.
Pubblicazione: (2021)

Abstract clones for abstract syntax
di: Arkor, Nathanael, et al.
Pubblicazione: (2021)

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

A characterization of differential bundles in tangent categories
di: Ching, Michael
Pubblicazione: (2024)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
di: Stein, Dario
Pubblicazione: (2025)

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

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

Notions of enriched purity
di: Rosický, Jiří, et al.
Pubblicazione: (2023)

A symmetric monoidal Comparison Lemma
di: Kuijper, Josefien
Pubblicazione: (2023)