{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:M7H4CT645MVZZCZPC44Y3BIPMI","short_pith_number":"pith:M7H4CT64","canonical_record":{"source":{"id":"2108.04304","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2021-08-09T18:58:02Z","cross_cats_sorted":[],"title_canon_sha256":"e76ddc9b14e7a9daa9171d84cd707c7193013525ba7bba1cc4317c442cb2c8e3","abstract_canon_sha256":"fc6d5cea4368cc922c17be43fbfbbbc4fd1d6d59d2647f8d43dffe5b2257a0d7"},"schema_version":"1.0"},"canonical_sha256":"67cfc14fdceb2b9c8b2f17398d850f623e78845f6c06358ec2524803ea09cbdd","source":{"kind":"arxiv","id":"2108.04304","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2108.04304","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"arxiv_version","alias_value":"2108.04304v4","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.04304","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"pith_short_12","alias_value":"M7H4CT645MVZ","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"pith_short_16","alias_value":"M7H4CT645MVZZCZP","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"pith_short_8","alias_value":"M7H4CT64","created_at":"2026-07-05T05:34:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:M7H4CT645MVZZCZPC44Y3BIPMI","target":"record","payload":{"canonical_record":{"source":{"id":"2108.04304","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2021-08-09T18:58:02Z","cross_cats_sorted":[],"title_canon_sha256":"e76ddc9b14e7a9daa9171d84cd707c7193013525ba7bba1cc4317c442cb2c8e3","abstract_canon_sha256":"fc6d5cea4368cc922c17be43fbfbbbc4fd1d6d59d2647f8d43dffe5b2257a0d7"},"schema_version":"1.0"},"canonical_sha256":"67cfc14fdceb2b9c8b2f17398d850f623e78845f6c06358ec2524803ea09cbdd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:34:41.846525Z","signature_b64":"XqQ4v+LIESVucFqE5fmw8Ir8qbcDgN18jhshqTml4bKo/UvKUc/XjmvGMWOY1p/cJ5lCslzBfZmixhch4A4rAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"67cfc14fdceb2b9c8b2f17398d850f623e78845f6c06358ec2524803ea09cbdd","last_reissued_at":"2026-07-05T05:34:41.846095Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:34:41.846095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2108.04304","source_version":4,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T05:34:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Ct3Qr0SaatQJ/d5nOxumgY9SAXKxJRmyrb/qfgVDi/k0S3+aI3O0OOOl4U04x0A46V/tSAs+u3amhERlrN8DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-28T13:50:27.620430Z"},"content_sha256":"d50925c7843f7e4b326498b6eed0c9894804c2bb52cc91e3ec1f85761ba4587a","schema_version":"1.0","event_id":"sha256:d50925c7843f7e4b326498b6eed0c9894804c2bb52cc91e3ec1f85761ba4587a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:M7H4CT645MVZZCZPC44Y3BIPMI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cartesian Differential Comonads and New Models of Cartesian Differential Categories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Jean-Simon Pacaud Lemay, Sacha Ikonicoff","submitted_at":"2021-08-09T18:58:02Z","abstract_excerpt":"Cartesian differential categories come equipped with a differential combinator that formalizes the derivative from multi-variable differential calculus, and also provide the categorical semantics of the differential $\\lambda$-calculus. An important source of examples of Cartesian differential categories are the coKleisli categories of the comonads of differential categories, where the latter concept provides the categorical semantics of differential linear logic. In this paper, we generalize this construction by introducing Cartesian differential comonads, which are precisely the comonads whos"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.04304","kind":"arxiv","version":4},"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/2108.04304/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T05:34:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BC8Z6G7xguuKFIx6xlzxDc/PPb4t2pvm+hQMQ8ZGmzfbZzDALbnbU4e11j2wG2Zz7aPWAn5s6MWl30z1oqM9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-28T13:50:27.620824Z"},"content_sha256":"e66bbe9a1c027c24a8c402a3eeecfed5e8ef45bf7b0a9b1824af4ce100da4306","schema_version":"1.0","event_id":"sha256:e66bbe9a1c027c24a8c402a3eeecfed5e8ef45bf7b0a9b1824af4ce100da4306"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M7H4CT645MVZZCZPC44Y3BIPMI/bundle.json","state_url":"https://pith.science/pith/M7H4CT645MVZZCZPC44Y3BIPMI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M7H4CT645MVZZCZPC44Y3BIPMI/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-28T13:50:27Z","links":{"resolver":"https://pith.science/pith/M7H4CT645MVZZCZPC44Y3BIPMI","bundle":"https://pith.science/pith/M7H4CT645MVZZCZPC44Y3BIPMI/bundle.json","state":"https://pith.science/pith/M7H4CT645MVZZCZPC44Y3BIPMI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M7H4CT645MVZZCZPC44Y3BIPMI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:M7H4CT645MVZZCZPC44Y3BIPMI","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":"fc6d5cea4368cc922c17be43fbfbbbc4fd1d6d59d2647f8d43dffe5b2257a0d7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2021-08-09T18:58:02Z","title_canon_sha256":"e76ddc9b14e7a9daa9171d84cd707c7193013525ba7bba1cc4317c442cb2c8e3"},"schema_version":"1.0","source":{"id":"2108.04304","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2108.04304","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"arxiv_version","alias_value":"2108.04304v4","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.04304","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"pith_short_12","alias_value":"M7H4CT645MVZ","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"pith_short_16","alias_value":"M7H4CT645MVZZCZP","created_at":"2026-07-05T05:34:41Z"},{"alias_kind":"pith_short_8","alias_value":"M7H4CT64","created_at":"2026-07-05T05:34:41Z"}],"graph_snapshots":[{"event_id":"sha256:e66bbe9a1c027c24a8c402a3eeecfed5e8ef45bf7b0a9b1824af4ce100da4306","target":"graph","created_at":"2026-07-05T05:34:41Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2108.04304/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cartesian differential categories come equipped with a differential combinator that formalizes the derivative from multi-variable differential calculus, and also provide the categorical semantics of the differential $\\lambda$-calculus. An important source of examples of Cartesian differential categories are the coKleisli categories of the comonads of differential categories, where the latter concept provides the categorical semantics of differential linear logic. In this paper, we generalize this construction by introducing Cartesian differential comonads, which are precisely the comonads whos","authors_text":"Jean-Simon Pacaud Lemay, Sacha Ikonicoff","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2021-08-09T18:58:02Z","title":"Cartesian Differential Comonads and New Models of Cartesian Differential Categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.04304","kind":"arxiv","version":4},"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:d50925c7843f7e4b326498b6eed0c9894804c2bb52cc91e3ec1f85761ba4587a","target":"record","created_at":"2026-07-05T05:34:41Z","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":"fc6d5cea4368cc922c17be43fbfbbbc4fd1d6d59d2647f8d43dffe5b2257a0d7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2021-08-09T18:58:02Z","title_canon_sha256":"e76ddc9b14e7a9daa9171d84cd707c7193013525ba7bba1cc4317c442cb2c8e3"},"schema_version":"1.0","source":{"id":"2108.04304","kind":"arxiv","version":4}},"canonical_sha256":"67cfc14fdceb2b9c8b2f17398d850f623e78845f6c06358ec2524803ea09cbdd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"67cfc14fdceb2b9c8b2f17398d850f623e78845f6c06358ec2524803ea09cbdd","first_computed_at":"2026-07-05T05:34:41.846095Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:34:41.846095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XqQ4v+LIESVucFqE5fmw8Ir8qbcDgN18jhshqTml4bKo/UvKUc/XjmvGMWOY1p/cJ5lCslzBfZmixhch4A4rAg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:34:41.846525Z","signed_message":"canonical_sha256_bytes"},"source_id":"2108.04304","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d50925c7843f7e4b326498b6eed0c9894804c2bb52cc91e3ec1f85761ba4587a","sha256:e66bbe9a1c027c24a8c402a3eeecfed5e8ef45bf7b0a9b1824af4ce100da4306"],"state_sha256":"8651fdb2f051b9255a826ca4f9de36247404bab3616aad275a33dbe7ddc3409d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GRSaQY5Rf3d5nbclSEvcNrtpABToTe27JELxSbGzl9dtl9F91hOtiI/nzHFl1HcZVVUhpj8Vve7lMcavO0ExDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-28T13:50:27.623401Z","bundle_sha256":"58281a1971eb0da12302b7daf6e4e8e97af5a1c91f6e20384dda6b47d0368d93"}}