{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:2HJOJ4BTK6XMME2QW3IQPHU4KC","short_pith_number":"pith:2HJOJ4BT","schema_version":"1.0","canonical_sha256":"d1d2e4f03357aec61350b6d1079e9c50b13d7dbda8eed565cdcb6a3f3f5f83f7","source":{"kind":"arxiv","id":"1808.08513","version":2},"attestation_state":"computed","paper":{"title":"Convenient Antiderivatives For Differential Linear Categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Jean-Simon Pacaud Lemay","submitted_at":"2018-08-26T07:33:23Z","abstract_excerpt":"Differential categories axiomatize the basics of differentiation and provide categorical models of differential linear logic. A differential category is said to have antiderivatives if a natural transformation $\\mathsf{K}$, which all differential categories have, is a natural isomorphism. Differential categories with antiderivatives come equipped with a canonical integration operator such that generalizations of the Fundamental Theorems of Calculus hold. In this paper, we show that Blute, Ehrhard, and Tasson's differential category of convenient vector spaces has antiderivatives. To help prove"},"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":"1808.08513","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-08-26T07:33:23Z","cross_cats_sorted":[],"title_canon_sha256":"7ce91a5dfabc166ba7e675d00155b316544a47003fead7dc654915dd451e21c0","abstract_canon_sha256":"c6b8729fc9fa2f9d24cd5ad677037e070d3eadcabd16e6bb1305cfc26320553b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:29:26.962481Z","signature_b64":"1t6UcPw+G2mQyTHY4Jsab7B9HXFjhqCAs+UFuwqnHg9FpGSWufm+EvJCcwS9LYTlbOT+cbNz59RI/cUNnPutDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1d2e4f03357aec61350b6d1079e9c50b13d7dbda8eed565cdcb6a3f3f5f83f7","last_reissued_at":"2026-07-05T00:29:26.962122Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:29:26.962122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Convenient Antiderivatives For Differential Linear Categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Jean-Simon Pacaud Lemay","submitted_at":"2018-08-26T07:33:23Z","abstract_excerpt":"Differential categories axiomatize the basics of differentiation and provide categorical models of differential linear logic. A differential category is said to have antiderivatives if a natural transformation $\\mathsf{K}$, which all differential categories have, is a natural isomorphism. Differential categories with antiderivatives come equipped with a canonical integration operator such that generalizations of the Fundamental Theorems of Calculus hold. In this paper, we show that Blute, Ehrhard, and Tasson's differential category of convenient vector spaces has antiderivatives. To help prove"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08513","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/1808.08513/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":"1808.08513","created_at":"2026-07-05T00:29:26.962188+00:00"},{"alias_kind":"arxiv_version","alias_value":"1808.08513v2","created_at":"2026-07-05T00:29:26.962188+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08513","created_at":"2026-07-05T00:29:26.962188+00:00"},{"alias_kind":"pith_short_12","alias_value":"2HJOJ4BTK6XM","created_at":"2026-07-05T00:29:26.962188+00:00"},{"alias_kind":"pith_short_16","alias_value":"2HJOJ4BTK6XMME2Q","created_at":"2026-07-05T00:29:26.962188+00:00"},{"alias_kind":"pith_short_8","alias_value":"2HJOJ4BT","created_at":"2026-07-05T00:29:26.962188+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/2HJOJ4BTK6XMME2QW3IQPHU4KC","json":"https://pith.science/pith/2HJOJ4BTK6XMME2QW3IQPHU4KC.json","graph_json":"https://pith.science/api/pith-number/2HJOJ4BTK6XMME2QW3IQPHU4KC/graph.json","events_json":"https://pith.science/api/pith-number/2HJOJ4BTK6XMME2QW3IQPHU4KC/events.json","paper":"https://pith.science/paper/2HJOJ4BT"},"agent_actions":{"view_html":"https://pith.science/pith/2HJOJ4BTK6XMME2QW3IQPHU4KC","download_json":"https://pith.science/pith/2HJOJ4BTK6XMME2QW3IQPHU4KC.json","view_paper":"https://pith.science/paper/2HJOJ4BT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1808.08513&json=true","fetch_graph":"https://pith.science/api/pith-number/2HJOJ4BTK6XMME2QW3IQPHU4KC/graph.json","fetch_events":"https://pith.science/api/pith-number/2HJOJ4BTK6XMME2QW3IQPHU4KC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2HJOJ4BTK6XMME2QW3IQPHU4KC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2HJOJ4BTK6XMME2QW3IQPHU4KC/action/storage_attestation","attest_author":"https://pith.science/pith/2HJOJ4BTK6XMME2QW3IQPHU4KC/action/author_attestation","sign_citation":"https://pith.science/pith/2HJOJ4BTK6XMME2QW3IQPHU4KC/action/citation_signature","submit_replication":"https://pith.science/pith/2HJOJ4BTK6XMME2QW3IQPHU4KC/action/replication_record"}},"created_at":"2026-07-05T00:29:26.962188+00:00","updated_at":"2026-07-05T00:29:26.962188+00:00"}