{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:PTCME6ZLVQN6T7TNBCN75HNRZM","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c2ce93e146de1b32f866427db7b4a7c5b61531a9f4e08c3261cc03f309cec38c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-05-27T16:46:13Z","title_canon_sha256":"055195ec57a442daff116477f49d1639c84ebd87520eb36c81e9c393214fc4e4"},"schema_version":"1.0","source":{"id":"1405.6973","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.6973","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"arxiv_version","alias_value":"1405.6973v1","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.6973","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"pith_short_12","alias_value":"PTCME6ZLVQN6","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"PTCME6ZLVQN6T7TN","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"PTCME6ZL","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:521b365faa2eb834c43d6286ac5f04175887d14523e2d4a548d85b2f5eaf6baf","target":"graph","created_at":"2026-05-18T02:50:59Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Cartesian differential categories were introduced to provide an abstract axiomatization of categories of differentiable functions. The fundamental example is the category whose objects are Euclidean spaces and whose arrows are smooth maps.\n  Tensor differential categories provide the framework for categorical models of differential linear logic. The coKleisli category of any tensor differential category is always a Cartesian differential category. Cartesian differential categories, besides arising in this manner as coKleisli categories, occur in many different and quite independent ways. Thus,","authors_text":"Richard Blute, Robert Seely, Robin Cockett","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-05-27T16:46:13Z","title":"Cartesian Differential Storage Categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.6973","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3201a43cdfcb902cd145fd32dfbdefb6f8cde6e6b12225bd722f25851399b243","target":"record","created_at":"2026-05-18T02:50:59Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c2ce93e146de1b32f866427db7b4a7c5b61531a9f4e08c3261cc03f309cec38c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-05-27T16:46:13Z","title_canon_sha256":"055195ec57a442daff116477f49d1639c84ebd87520eb36c81e9c393214fc4e4"},"schema_version":"1.0","source":{"id":"1405.6973","kind":"arxiv","version":1}},"canonical_sha256":"7cc4c27b2bac1be9fe6d089bfe9db1cb20ba431bbf92a38ecbb21eb1a9571cb3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7cc4c27b2bac1be9fe6d089bfe9db1cb20ba431bbf92a38ecbb21eb1a9571cb3","first_computed_at":"2026-05-18T02:50:59.998056Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:59.998056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E3J890arFRcF4UBmQHu5ZsVY61EH3armHRBUOFV9VavZDYtazUHQ+RAgdROx+hGeX8sILVuCSXXt1rAtixPOAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:59.998559Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.6973","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3201a43cdfcb902cd145fd32dfbdefb6f8cde6e6b12225bd722f25851399b243","sha256:521b365faa2eb834c43d6286ac5f04175887d14523e2d4a548d85b2f5eaf6baf"],"state_sha256":"f5a6b532f060e5c1b2203af37069c3c2f780730c6b523ac1f67d9a1238452f25"}