{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:4WMQXCJ2KARX4R5YZF7Y3V5MIV","short_pith_number":"pith:4WMQXCJ2","schema_version":"1.0","canonical_sha256":"e5990b893a50237e47b8c97f8dd7ac457d6068fd8ca4981a4a1943802f24b6e2","source":{"kind":"arxiv","id":"2002.01091","version":2},"attestation_state":"computed","paper":{"title":"Cartesian Difference Categories: Extended Report","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Jean-Simon Pacaud Lemay, Mario Alvarez-Picallo","submitted_at":"2020-02-04T02:30:05Z","abstract_excerpt":"Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth functions and categorical models of the differential lambda-calculus. However, Cartesian differential categories cannot account for other interesting notions of differentiation such as the calculus of finite differences or the Boolean differential calculus. On the other hand, change action models have been shown to capture these examples as well as more \"exot"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2002.01091","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-02-04T02:30:05Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"587f6990087967cb528396e13a24aecf12a4de5e4c4816fe5b4d3aec918f03ac","abstract_canon_sha256":"2b929e20def2aee32fe29fa40cdac8762a669275f3b6e32edcd8b166aaee565e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:21:18.138184Z","signature_b64":"P5S4MAoEOkDtuuLt0dABv38yALqy7x2Zsr4QQ6xykBsr63aKkK5n/dR+jxGMNdTAPvSJdDQ/yUgkQcnfKA4eBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e5990b893a50237e47b8c97f8dd7ac457d6068fd8ca4981a4a1943802f24b6e2","last_reissued_at":"2026-07-05T01:21:18.136691Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:21:18.136691Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cartesian Difference Categories: Extended Report","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Jean-Simon Pacaud Lemay, Mario Alvarez-Picallo","submitted_at":"2020-02-04T02:30:05Z","abstract_excerpt":"Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth functions and categorical models of the differential lambda-calculus. However, Cartesian differential categories cannot account for other interesting notions of differentiation such as the calculus of finite differences or the Boolean differential calculus. On the other hand, change action models have been shown to capture these examples as well as more \"exot"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.01091","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2002.01091/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2002.01091","created_at":"2026-07-05T01:21:18.137728+00:00"},{"alias_kind":"arxiv_version","alias_value":"2002.01091v2","created_at":"2026-07-05T01:21:18.137728+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.01091","created_at":"2026-07-05T01:21:18.137728+00:00"},{"alias_kind":"pith_short_12","alias_value":"4WMQXCJ2KARX","created_at":"2026-07-05T01:21:18.137728+00:00"},{"alias_kind":"pith_short_16","alias_value":"4WMQXCJ2KARX4R5Y","created_at":"2026-07-05T01:21:18.137728+00:00"},{"alias_kind":"pith_short_8","alias_value":"4WMQXCJ2","created_at":"2026-07-05T01:21:18.137728+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV","json":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV.json","graph_json":"https://pith.science/api/pith-number/4WMQXCJ2KARX4R5YZF7Y3V5MIV/graph.json","events_json":"https://pith.science/api/pith-number/4WMQXCJ2KARX4R5YZF7Y3V5MIV/events.json","paper":"https://pith.science/paper/4WMQXCJ2"},"agent_actions":{"view_html":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV","download_json":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV.json","view_paper":"https://pith.science/paper/4WMQXCJ2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2002.01091&json=true","fetch_graph":"https://pith.science/api/pith-number/4WMQXCJ2KARX4R5YZF7Y3V5MIV/graph.json","fetch_events":"https://pith.science/api/pith-number/4WMQXCJ2KARX4R5YZF7Y3V5MIV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV/action/storage_attestation","attest_author":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV/action/author_attestation","sign_citation":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV/action/citation_signature","submit_replication":"https://pith.science/pith/4WMQXCJ2KARX4R5YZF7Y3V5MIV/action/replication_record"}},"created_at":"2026-07-05T01:21:18.137728+00:00","updated_at":"2026-07-05T01:21:18.137728+00:00"}