Conference item icon

Conference item

Change actions: models of generalised differentiation

Abstract:

Change structures, introduced by Cai et al., have recently been proposed as a semantic framework for incremental computation. We generalise change actions, an alternative to change structures, to arbitrary cartesian categories and propose the notion of change action model as a categorical model for (higher-order) generalised differentiation. Change action models naturally arise from many geometric and computational settings, such as (generalised) cartesian differential categories, group model...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-030-17127-8_3

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Merton College
Role:
Author
ORCID:
0000-0001-7509-680X
More by this author
Oxford college:
Wolfson College
Role:
Author
Publisher:
Springer Publisher's website
Journal:
Lecture Notes in Computer Science Journal website
Volume:
11425
Pages:
45-61
Series:
Lecture Notes in Computer Science
Host title:
International Conference on Foundations of Software Science and Computation Structures
Publication date:
2019-04-05
Acceptance date:
2019-02-18
DOI:
Source identifiers:
974361
Pubs id:
pubs:974361
UUID:
uuid:3b6f72f2-16e6-41e2-a3f4-36a930ec3489
Local pid:
pubs:974361
Deposit date:
2019-02-18

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP