{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:OPSEG5A4UT7LZDAFBVOUP4BCN3","short_pith_number":"pith:OPSEG5A4","canonical_record":{"source":{"id":"1905.02072","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2019-05-06T14:48:33Z","cross_cats_sorted":["math.CT","stat.ML"],"title_canon_sha256":"ab6c822104fb005c4bc7f689a76e5a1a75d57d98ed3679e01f876a09380f9b98","abstract_canon_sha256":"05f2c5d40dbf3c8497418df24af3652be33747b6e23a4643de21a17f41b98312"},"schema_version":"1.0"},"canonical_sha256":"73e443741ca4febc8c050d5d47f0226ed0cd3c3e7f2cc782a900fb78927dc000","source":{"kind":"arxiv","id":"1905.02072","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.02072","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"arxiv_version","alias_value":"1905.02072v1","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.02072","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"pith_short_12","alias_value":"OPSEG5A4UT7L","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"OPSEG5A4UT7LZDAF","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"OPSEG5A4","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:OPSEG5A4UT7LZDAFBVOUP4BCN3","target":"record","payload":{"canonical_record":{"source":{"id":"1905.02072","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2019-05-06T14:48:33Z","cross_cats_sorted":["math.CT","stat.ML"],"title_canon_sha256":"ab6c822104fb005c4bc7f689a76e5a1a75d57d98ed3679e01f876a09380f9b98","abstract_canon_sha256":"05f2c5d40dbf3c8497418df24af3652be33747b6e23a4643de21a17f41b98312"},"schema_version":"1.0"},"canonical_sha256":"73e443741ca4febc8c050d5d47f0226ed0cd3c3e7f2cc782a900fb78927dc000","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:56.499029Z","signature_b64":"Hz63vhV250dfJm8Z5M1ECq5E9/0EtN0k+dv4gQDG4BYnB1TarzYMfXgz9f0YXlWP8vI5J0mQSZ42enqF7Q6kAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73e443741ca4febc8c050d5d47f0226ed0cd3c3e7f2cc782a900fb78927dc000","last_reissued_at":"2026-05-17T23:46:56.498416Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:56.498416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.02072","source_version":1,"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-05-17T23:46:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"91yjGSqIfvpUDj52ag9nfn5A66LBCF4lFxAHNSU9wnuj1J4v4fFGq/oIPBluY1Z96aDBS5FZGBEyxqcCdumUAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T00:17:49.472740Z"},"content_sha256":"69a0756198e6a0e53bf79a5372f3a4d02d8e79ae6a792c464eccb1968f845c92","schema_version":"1.0","event_id":"sha256:69a0756198e6a0e53bf79a5372f3a4d02d8e79ae6a792c464eccb1968f845c92"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:OPSEG5A4UT7LZDAFBVOUP4BCN3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing the invariances of learning algorithms using category theory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT","stat.ML"],"primary_cat":"cs.LG","authors_text":"Kenneth D. Harris","submitted_at":"2019-05-06T14:48:33Z","abstract_excerpt":"Many learning algorithms have invariances: when their training data is transformed in certain ways, the function they learn transforms in a predictable manner. Here we formalize this notion using concepts from the mathematical field of category theory. The invariances that a supervised learning algorithm possesses are formalized by categories of predictor and target spaces, whose morphisms represent the algorithm's invariances, and an index category whose morphisms represent permutations of the training examples. An invariant learning algorithm is a natural transformation between two functors "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.02072","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-17T23:46:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4c5LYDXPu1jkgaRd8e6/rvrYzhpQZU5Y+PZS+0NaHil1Fbl0q3bmxnbLiZsx3+xnYd1smW4lOW/c9GXBY3LDBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T00:17:49.473088Z"},"content_sha256":"c93181d7ba1c79cca28bfb3f51e32a460aa3bcd4dbfb80a26be9942c3bd39410","schema_version":"1.0","event_id":"sha256:c93181d7ba1c79cca28bfb3f51e32a460aa3bcd4dbfb80a26be9942c3bd39410"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OPSEG5A4UT7LZDAFBVOUP4BCN3/bundle.json","state_url":"https://pith.science/pith/OPSEG5A4UT7LZDAFBVOUP4BCN3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OPSEG5A4UT7LZDAFBVOUP4BCN3/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-06-24T00:17:49Z","links":{"resolver":"https://pith.science/pith/OPSEG5A4UT7LZDAFBVOUP4BCN3","bundle":"https://pith.science/pith/OPSEG5A4UT7LZDAFBVOUP4BCN3/bundle.json","state":"https://pith.science/pith/OPSEG5A4UT7LZDAFBVOUP4BCN3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OPSEG5A4UT7LZDAFBVOUP4BCN3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:OPSEG5A4UT7LZDAFBVOUP4BCN3","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":"05f2c5d40dbf3c8497418df24af3652be33747b6e23a4643de21a17f41b98312","cross_cats_sorted":["math.CT","stat.ML"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2019-05-06T14:48:33Z","title_canon_sha256":"ab6c822104fb005c4bc7f689a76e5a1a75d57d98ed3679e01f876a09380f9b98"},"schema_version":"1.0","source":{"id":"1905.02072","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.02072","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"arxiv_version","alias_value":"1905.02072v1","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.02072","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"pith_short_12","alias_value":"OPSEG5A4UT7L","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"OPSEG5A4UT7LZDAF","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"OPSEG5A4","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:c93181d7ba1c79cca28bfb3f51e32a460aa3bcd4dbfb80a26be9942c3bd39410","target":"graph","created_at":"2026-05-17T23:46:56Z","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":"Many learning algorithms have invariances: when their training data is transformed in certain ways, the function they learn transforms in a predictable manner. Here we formalize this notion using concepts from the mathematical field of category theory. The invariances that a supervised learning algorithm possesses are formalized by categories of predictor and target spaces, whose morphisms represent the algorithm's invariances, and an index category whose morphisms represent permutations of the training examples. An invariant learning algorithm is a natural transformation between two functors ","authors_text":"Kenneth D. Harris","cross_cats":["math.CT","stat.ML"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2019-05-06T14:48:33Z","title":"Characterizing the invariances of learning algorithms using category theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.02072","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:69a0756198e6a0e53bf79a5372f3a4d02d8e79ae6a792c464eccb1968f845c92","target":"record","created_at":"2026-05-17T23:46:56Z","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":"05f2c5d40dbf3c8497418df24af3652be33747b6e23a4643de21a17f41b98312","cross_cats_sorted":["math.CT","stat.ML"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2019-05-06T14:48:33Z","title_canon_sha256":"ab6c822104fb005c4bc7f689a76e5a1a75d57d98ed3679e01f876a09380f9b98"},"schema_version":"1.0","source":{"id":"1905.02072","kind":"arxiv","version":1}},"canonical_sha256":"73e443741ca4febc8c050d5d47f0226ed0cd3c3e7f2cc782a900fb78927dc000","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73e443741ca4febc8c050d5d47f0226ed0cd3c3e7f2cc782a900fb78927dc000","first_computed_at":"2026-05-17T23:46:56.498416Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:56.498416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Hz63vhV250dfJm8Z5M1ECq5E9/0EtN0k+dv4gQDG4BYnB1TarzYMfXgz9f0YXlWP8vI5J0mQSZ42enqF7Q6kAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:56.499029Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.02072","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:69a0756198e6a0e53bf79a5372f3a4d02d8e79ae6a792c464eccb1968f845c92","sha256:c93181d7ba1c79cca28bfb3f51e32a460aa3bcd4dbfb80a26be9942c3bd39410"],"state_sha256":"97deac4fbd5a103d97027c1242c393cb4e57bbaeb21fec623f7a716a0156958f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cPFDPBBLpFnEusOuvJqyI+ILwp46/tDucEf9nR+8Bz143AWqRdeiQya/OtJDFmGfX03LZn1biwmeuU9K99nTCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T00:17:49.475073Z","bundle_sha256":"999d5e91d142909df5b0e6c87f3ceb601580b66fb801afb9b7ebaed05fb9ad97"}}