{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:WZ2U4NQT7DFPZMZA4K44NNDXXF","short_pith_number":"pith:WZ2U4NQT","canonical_record":{"source":{"id":"2312.16529","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-12-27T11:20:03Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"74cad1ea6038b5023a372cb69cee16e9ca83086894e56f5d3c29feeddff09fda","abstract_canon_sha256":"99772e33fad918d7577aceced93b19d5edf0f0de92cba031d464853018f3ef81"},"schema_version":"1.0"},"canonical_sha256":"b6754e3613f8cafcb320e2b9c6b477b95d044bb06053b18926dd4981c72be4d7","source":{"kind":"arxiv","id":"2312.16529","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.16529","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"arxiv_version","alias_value":"2312.16529v2","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.16529","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"pith_short_12","alias_value":"WZ2U4NQT7DFP","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"pith_short_16","alias_value":"WZ2U4NQT7DFPZMZA","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"pith_short_8","alias_value":"WZ2U4NQT","created_at":"2026-07-05T10:05:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:WZ2U4NQT7DFPZMZA4K44NNDXXF","target":"record","payload":{"canonical_record":{"source":{"id":"2312.16529","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-12-27T11:20:03Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"74cad1ea6038b5023a372cb69cee16e9ca83086894e56f5d3c29feeddff09fda","abstract_canon_sha256":"99772e33fad918d7577aceced93b19d5edf0f0de92cba031d464853018f3ef81"},"schema_version":"1.0"},"canonical_sha256":"b6754e3613f8cafcb320e2b9c6b477b95d044bb06053b18926dd4981c72be4d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:05:08.447822Z","signature_b64":"ZMvw56blobs7oOKXMqp4FpIlSevNw5RLfy4qnXOhjYnYID0kE0M9OKTfyBBw7FJ6ZJrfcXXUoyZVIGM8LgADCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6754e3613f8cafcb320e2b9c6b477b95d044bb06053b18926dd4981c72be4d7","last_reissued_at":"2026-07-05T10:05:08.447401Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:05:08.447401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.16529","source_version":2,"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-05T10:05:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6mREPsUL0QHKNqcWvJOL2cmgYD3nBCUlojcDOIAJ4m45VdE8jqkHiAdCcZ5C+YEAM2puEQkvxyeeet9GgvnMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T19:37:38.327929Z"},"content_sha256":"35cf9617dd49a060f62f91f6a2adc2815ca99e6fa724e6334cb7ed6cd3a92ce9","schema_version":"1.0","event_id":"sha256:35cf9617dd49a060f62f91f6a2adc2815ca99e6fa724e6334cb7ed6cd3a92ce9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:WZ2U4NQT7DFPZMZA4K44NNDXXF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LG","authors_text":"Corina Cirstea, Jo Grundy, Matthew Pugh, Nick Harris","submitted_at":"2023-12-27T11:20:03Z","abstract_excerpt":"This paper is the first to construct and motivate a Machine Learning algorithm solely with Enriched Category Theory, supplementing evidence that Category Theory can provide valuable insights into the construction and explainability of Machine Learning algorithms. It is shown that a series of reasonable assumptions about a dataset lead to the construction of the Nearest Neighbours Algorithm. This construction is produced as an extension of the original dataset using profunctors in the category of Lawvere metric spaces, leading to a definition of an Enriched Nearest Neighbours Algorithm, which, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.16529","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/2312.16529/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-05T10:05:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xxCFT0x1PXISUw01sx6puk30hOZp/hKmCIB8/uIzhvmhK5SgSeo2mmaw0QZnC9iclRmdRbYqj10Qpnm9EUsQBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T19:37:38.328472Z"},"content_sha256":"b8895200d19e13992d43d0aac5196ef53d8bc114bbadd1b82e32e912871a5c56","schema_version":"1.0","event_id":"sha256:b8895200d19e13992d43d0aac5196ef53d8bc114bbadd1b82e32e912871a5c56"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WZ2U4NQT7DFPZMZA4K44NNDXXF/bundle.json","state_url":"https://pith.science/pith/WZ2U4NQT7DFPZMZA4K44NNDXXF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WZ2U4NQT7DFPZMZA4K44NNDXXF/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-08-10T19:37:38Z","links":{"resolver":"https://pith.science/pith/WZ2U4NQT7DFPZMZA4K44NNDXXF","bundle":"https://pith.science/pith/WZ2U4NQT7DFPZMZA4K44NNDXXF/bundle.json","state":"https://pith.science/pith/WZ2U4NQT7DFPZMZA4K44NNDXXF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WZ2U4NQT7DFPZMZA4K44NNDXXF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:WZ2U4NQT7DFPZMZA4K44NNDXXF","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":"99772e33fad918d7577aceced93b19d5edf0f0de92cba031d464853018f3ef81","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-12-27T11:20:03Z","title_canon_sha256":"74cad1ea6038b5023a372cb69cee16e9ca83086894e56f5d3c29feeddff09fda"},"schema_version":"1.0","source":{"id":"2312.16529","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.16529","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"arxiv_version","alias_value":"2312.16529v2","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.16529","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"pith_short_12","alias_value":"WZ2U4NQT7DFP","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"pith_short_16","alias_value":"WZ2U4NQT7DFPZMZA","created_at":"2026-07-05T10:05:08Z"},{"alias_kind":"pith_short_8","alias_value":"WZ2U4NQT","created_at":"2026-07-05T10:05:08Z"}],"graph_snapshots":[{"event_id":"sha256:b8895200d19e13992d43d0aac5196ef53d8bc114bbadd1b82e32e912871a5c56","target":"graph","created_at":"2026-07-05T10:05:08Z","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/2312.16529/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper is the first to construct and motivate a Machine Learning algorithm solely with Enriched Category Theory, supplementing evidence that Category Theory can provide valuable insights into the construction and explainability of Machine Learning algorithms. It is shown that a series of reasonable assumptions about a dataset lead to the construction of the Nearest Neighbours Algorithm. This construction is produced as an extension of the original dataset using profunctors in the category of Lawvere metric spaces, leading to a definition of an Enriched Nearest Neighbours Algorithm, which, ","authors_text":"Corina Cirstea, Jo Grundy, Matthew Pugh, Nick Harris","cross_cats":["math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-12-27T11:20:03Z","title":"Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.16529","kind":"arxiv","version":2},"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:35cf9617dd49a060f62f91f6a2adc2815ca99e6fa724e6334cb7ed6cd3a92ce9","target":"record","created_at":"2026-07-05T10:05:08Z","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":"99772e33fad918d7577aceced93b19d5edf0f0de92cba031d464853018f3ef81","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-12-27T11:20:03Z","title_canon_sha256":"74cad1ea6038b5023a372cb69cee16e9ca83086894e56f5d3c29feeddff09fda"},"schema_version":"1.0","source":{"id":"2312.16529","kind":"arxiv","version":2}},"canonical_sha256":"b6754e3613f8cafcb320e2b9c6b477b95d044bb06053b18926dd4981c72be4d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6754e3613f8cafcb320e2b9c6b477b95d044bb06053b18926dd4981c72be4d7","first_computed_at":"2026-07-05T10:05:08.447401Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:05:08.447401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZMvw56blobs7oOKXMqp4FpIlSevNw5RLfy4qnXOhjYnYID0kE0M9OKTfyBBw7FJ6ZJrfcXXUoyZVIGM8LgADCA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:05:08.447822Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.16529","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35cf9617dd49a060f62f91f6a2adc2815ca99e6fa724e6334cb7ed6cd3a92ce9","sha256:b8895200d19e13992d43d0aac5196ef53d8bc114bbadd1b82e32e912871a5c56"],"state_sha256":"2cc9fe22ebb00f74f450e2f6aaae9c256e478a052295f5116403d616342389a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TQEGaG6ruWIA31O6iHJTi7jU6HH9iSyMHqZTxtkS/AszBma0hkd3nCndxTI6fIBF18e2pTK7xxGmdTzYtHezDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T19:37:38.332965Z","bundle_sha256":"01fa328f9f13dff5b27c15e709429499cf72194fc15a138d65d8f3694c6b5606"}}