BibTeX
CSL-JSON
MLA
Harvard
The Difference Lambda-Calculus: A Language for Difference Categories
release_m5jt5is6svgkll2xtibxsqzkny
by
Mario Alvarez-Picallo, C.-H. Luke Ong
Released
as a article
.
2020
Abstract
Cartesian difference categories are a recent generalisation of Cartesian
differential categories which introduce a notion of "infinitesimal" arrows
satisfying an analogue of the Kock-Lawvere axiom, with the axioms of a
Cartesian differential category being satisfied only "up to an infinitesimal
perturbation". In this work, we construct a simply-typed calculus in the spirit
of the differential lambda-calculus equipped with syntactic infinitesimals and
show how its models correspond to difference lambda-categories, a family of
Cartesian difference categories equipped with suitably well-behaved
exponentials.
In text/plain
format
Archived Files and Locations
application/pdf 396.8 kB
file_ztjqcnlcyvcw3nhjx2hzykqnva
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
arXiv
2011.14476v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links