{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:7L4SLPE74YFJMBNXDQYP2MXTJY","short_pith_number":"pith:7L4SLPE7","canonical_record":{"source":{"id":"1701.00658","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-01-03T11:15:16Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"f09975821765766a07a573d5c1b79336ba251f55daf712079dec65b783943c04","abstract_canon_sha256":"084d77fd7ae8d599006588a16947a4db79d862359b3b3581f25f15b984ca6fd8"},"schema_version":"1.0"},"canonical_sha256":"faf925bc9fe60a9605b71c30fd32f34e1cd3b2ac0cab8be234384e22edd64ea3","source":{"kind":"arxiv","id":"1701.00658","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.00658","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"arxiv_version","alias_value":"1701.00658v1","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.00658","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"pith_short_12","alias_value":"7L4SLPE74YFJ","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"7L4SLPE74YFJMBNX","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"7L4SLPE7","created_at":"2026-05-18T12:31:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:7L4SLPE74YFJMBNXDQYP2MXTJY","target":"record","payload":{"canonical_record":{"source":{"id":"1701.00658","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-01-03T11:15:16Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"f09975821765766a07a573d5c1b79336ba251f55daf712079dec65b783943c04","abstract_canon_sha256":"084d77fd7ae8d599006588a16947a4db79d862359b3b3581f25f15b984ca6fd8"},"schema_version":"1.0"},"canonical_sha256":"faf925bc9fe60a9605b71c30fd32f34e1cd3b2ac0cab8be234384e22edd64ea3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:28.641568Z","signature_b64":"17TAbMHsWt2w+FCjsRU/lsVJyqLTp633Pdx4g/8LoU9sMerGfw1K9hIShx5QFCCZ9FK84b/fqnM8RKj5ZCy+AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"faf925bc9fe60a9605b71c30fd32f34e1cd3b2ac0cab8be234384e22edd64ea3","last_reissued_at":"2026-05-18T00:53:28.640897Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:28.640897Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.00658","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-18T00:53:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rKK2Ato/o6HDYInmhtWbxZEypYQdq09vo05956iGzYZnRtQYQB5QjPSMeASIUXEidDarZ8LbPvwPD3RBGZgsDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:14:07.315879Z"},"content_sha256":"26e5998a5a95b505e283b0734154a9fbcb178045b0092aa70c07e65e2d174a41","schema_version":"1.0","event_id":"sha256:26e5998a5a95b505e283b0734154a9fbcb178045b0092aa70c07e65e2d174a41"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:7L4SLPE74YFJMBNXDQYP2MXTJY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Topological Perspective on Interacting Algebraic Theories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Amar Hadzihasanovic","submitted_at":"2017-01-03T11:15:16Z","abstract_excerpt":"Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum computation. These theories have often the property of containing simpler sub-theories, whose interaction is regulated in a limited number of ways, which reveals a topological substrate when pictured by string diagrams. By exploring the double nature of computads as presentations of higher algebraic theories, and combinatorial descriptions of \"directed spaces\", we deve"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.00658","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-18T00:53:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1ieab14+js5v0/uR2YEt4UgaH2W5REFvp+HYfNniYay2OA90/pYs9uOGrH7iMCmcGseVNvFUPJdMOoq6Q3N0Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:14:07.316525Z"},"content_sha256":"ba9cc601d90802124626b5f18f05674a8303ede66261adab85936f557bea2b68","schema_version":"1.0","event_id":"sha256:ba9cc601d90802124626b5f18f05674a8303ede66261adab85936f557bea2b68"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7L4SLPE74YFJMBNXDQYP2MXTJY/bundle.json","state_url":"https://pith.science/pith/7L4SLPE74YFJMBNXDQYP2MXTJY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7L4SLPE74YFJMBNXDQYP2MXTJY/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-05-30T01:14:07Z","links":{"resolver":"https://pith.science/pith/7L4SLPE74YFJMBNXDQYP2MXTJY","bundle":"https://pith.science/pith/7L4SLPE74YFJMBNXDQYP2MXTJY/bundle.json","state":"https://pith.science/pith/7L4SLPE74YFJMBNXDQYP2MXTJY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7L4SLPE74YFJMBNXDQYP2MXTJY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:7L4SLPE74YFJMBNXDQYP2MXTJY","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":"084d77fd7ae8d599006588a16947a4db79d862359b3b3581f25f15b984ca6fd8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-01-03T11:15:16Z","title_canon_sha256":"f09975821765766a07a573d5c1b79336ba251f55daf712079dec65b783943c04"},"schema_version":"1.0","source":{"id":"1701.00658","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.00658","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"arxiv_version","alias_value":"1701.00658v1","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.00658","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"pith_short_12","alias_value":"7L4SLPE74YFJ","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"7L4SLPE74YFJMBNX","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"7L4SLPE7","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:ba9cc601d90802124626b5f18f05674a8303ede66261adab85936f557bea2b68","target":"graph","created_at":"2026-05-18T00:53:28Z","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":"Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum computation. These theories have often the property of containing simpler sub-theories, whose interaction is regulated in a limited number of ways, which reveals a topological substrate when pictured by string diagrams. By exploring the double nature of computads as presentations of higher algebraic theories, and combinatorial descriptions of \"directed spaces\", we deve","authors_text":"Amar Hadzihasanovic","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-01-03T11:15:16Z","title":"A Topological Perspective on Interacting Algebraic Theories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.00658","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:26e5998a5a95b505e283b0734154a9fbcb178045b0092aa70c07e65e2d174a41","target":"record","created_at":"2026-05-18T00:53:28Z","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":"084d77fd7ae8d599006588a16947a4db79d862359b3b3581f25f15b984ca6fd8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-01-03T11:15:16Z","title_canon_sha256":"f09975821765766a07a573d5c1b79336ba251f55daf712079dec65b783943c04"},"schema_version":"1.0","source":{"id":"1701.00658","kind":"arxiv","version":1}},"canonical_sha256":"faf925bc9fe60a9605b71c30fd32f34e1cd3b2ac0cab8be234384e22edd64ea3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"faf925bc9fe60a9605b71c30fd32f34e1cd3b2ac0cab8be234384e22edd64ea3","first_computed_at":"2026-05-18T00:53:28.640897Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:28.640897Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"17TAbMHsWt2w+FCjsRU/lsVJyqLTp633Pdx4g/8LoU9sMerGfw1K9hIShx5QFCCZ9FK84b/fqnM8RKj5ZCy+AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:28.641568Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.00658","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:26e5998a5a95b505e283b0734154a9fbcb178045b0092aa70c07e65e2d174a41","sha256:ba9cc601d90802124626b5f18f05674a8303ede66261adab85936f557bea2b68"],"state_sha256":"c27f2f75e385a8281549737b183d736185047ea9a815f91cc3a268f10c0165d6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VLRa2ms6DZ8UIPHWf+6qFz2tKaE3Og167X6Zsgh+vE4282mcg2rEhMzSBetoR7ZncAt4yyaGzH2UCc4Ko/ULCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T01:14:07.319857Z","bundle_sha256":"6f3630dff41c4b63d4866d6c532d9642f7b3d144581a4a231cc4941c3fedf00f"}}