{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:YQMVUYSMZIMI3JATEHMNN2NEU7","short_pith_number":"pith:YQMVUYSM","canonical_record":{"source":{"id":"1601.02307","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-01-11T02:47:33Z","cross_cats_sorted":[],"title_canon_sha256":"1bec8679f8d23b2128744261f3e56edf5b12282fa3c7a6b69d5c8eb07c48276e","abstract_canon_sha256":"501cf86dcd4068b6fb06ec9eb626059af2836aa49963b33392d8e6dae9b38a1d"},"schema_version":"1.0"},"canonical_sha256":"c4195a624cca188da41321d8d6e9a4a7e3eb96cf9cb2d023b2da4c67c01d1802","source":{"kind":"arxiv","id":"1601.02307","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.02307","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"arxiv_version","alias_value":"1601.02307v2","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.02307","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"pith_short_12","alias_value":"YQMVUYSMZIMI","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YQMVUYSMZIMI3JAT","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YQMVUYSM","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:YQMVUYSMZIMI3JATEHMNN2NEU7","target":"record","payload":{"canonical_record":{"source":{"id":"1601.02307","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-01-11T02:47:33Z","cross_cats_sorted":[],"title_canon_sha256":"1bec8679f8d23b2128744261f3e56edf5b12282fa3c7a6b69d5c8eb07c48276e","abstract_canon_sha256":"501cf86dcd4068b6fb06ec9eb626059af2836aa49963b33392d8e6dae9b38a1d"},"schema_version":"1.0"},"canonical_sha256":"c4195a624cca188da41321d8d6e9a4a7e3eb96cf9cb2d023b2da4c67c01d1802","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:43.145644Z","signature_b64":"fsfpFifWigF2nftRyCRq2I1huazCcrMHXFlhNhBjsc5qc+Pw1jvoLSlKjIXz4AMwf8lZ0SKbExHZ+DHOsRL1CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c4195a624cca188da41321d8d6e9a4a7e3eb96cf9cb2d023b2da4c67c01d1802","last_reissued_at":"2026-05-18T00:47:43.144931Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:43.144931Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.02307","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-05-18T00:47:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kV7yJoA5dW9bz1RAryQ6iRB99xYxtNQl3i/3BopHU5pLBypbrHxVCYty802rBoOx3LxnsXxXsiPibTbk6INTAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T09:46:46.986938Z"},"content_sha256":"0046addf71fbf7fc837d09d5819817dadf04b90eedadf6edc9c41ef397d9da69","schema_version":"1.0","event_id":"sha256:0046addf71fbf7fc837d09d5819817dadf04b90eedadf6edc9c41ef397d9da69"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:YQMVUYSMZIMI3JATEHMNN2NEU7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Corelations are the prop for extraspecial commutative Frobenius monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Brandon Coya, Brendan Fong","submitted_at":"2016-01-11T02:47:33Z","abstract_excerpt":"Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \\emph{corelations}. We define the category of corelations between finite sets and prove that it is equivalent to the prop for extraspecial commutative Frobenius monoids. Dually, we show that the category of relations is equivalent to the prop for special commutative bimonoids. Throughout, we emphasise h"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.02307","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":""},"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:47:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QTpFp3OuX3rO4DYs8IFJNRc7qmmWLZJdfwudEP4xAr4YiNz3l1k9XXhcCjg0/qSj0tec7gNtddu7xcykONaRBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T09:46:46.987627Z"},"content_sha256":"6efb44c7dc4bd95f19d9ea825fd63dbd0e4d1b65c44a5eae9ec317cd67337e80","schema_version":"1.0","event_id":"sha256:6efb44c7dc4bd95f19d9ea825fd63dbd0e4d1b65c44a5eae9ec317cd67337e80"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YQMVUYSMZIMI3JATEHMNN2NEU7/bundle.json","state_url":"https://pith.science/pith/YQMVUYSMZIMI3JATEHMNN2NEU7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YQMVUYSMZIMI3JATEHMNN2NEU7/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-26T09:46:46Z","links":{"resolver":"https://pith.science/pith/YQMVUYSMZIMI3JATEHMNN2NEU7","bundle":"https://pith.science/pith/YQMVUYSMZIMI3JATEHMNN2NEU7/bundle.json","state":"https://pith.science/pith/YQMVUYSMZIMI3JATEHMNN2NEU7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YQMVUYSMZIMI3JATEHMNN2NEU7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:YQMVUYSMZIMI3JATEHMNN2NEU7","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":"501cf86dcd4068b6fb06ec9eb626059af2836aa49963b33392d8e6dae9b38a1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-01-11T02:47:33Z","title_canon_sha256":"1bec8679f8d23b2128744261f3e56edf5b12282fa3c7a6b69d5c8eb07c48276e"},"schema_version":"1.0","source":{"id":"1601.02307","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.02307","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"arxiv_version","alias_value":"1601.02307v2","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.02307","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"pith_short_12","alias_value":"YQMVUYSMZIMI","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YQMVUYSMZIMI3JAT","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YQMVUYSM","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:6efb44c7dc4bd95f19d9ea825fd63dbd0e4d1b65c44a5eae9ec317cd67337e80","target":"graph","created_at":"2026-05-18T00:47:43Z","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":"Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \\emph{corelations}. We define the category of corelations between finite sets and prove that it is equivalent to the prop for extraspecial commutative Frobenius monoids. Dually, we show that the category of relations is equivalent to the prop for special commutative bimonoids. Throughout, we emphasise h","authors_text":"Brandon Coya, Brendan Fong","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-01-11T02:47:33Z","title":"Corelations are the prop for extraspecial commutative Frobenius monoids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.02307","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:0046addf71fbf7fc837d09d5819817dadf04b90eedadf6edc9c41ef397d9da69","target":"record","created_at":"2026-05-18T00:47:43Z","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":"501cf86dcd4068b6fb06ec9eb626059af2836aa49963b33392d8e6dae9b38a1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-01-11T02:47:33Z","title_canon_sha256":"1bec8679f8d23b2128744261f3e56edf5b12282fa3c7a6b69d5c8eb07c48276e"},"schema_version":"1.0","source":{"id":"1601.02307","kind":"arxiv","version":2}},"canonical_sha256":"c4195a624cca188da41321d8d6e9a4a7e3eb96cf9cb2d023b2da4c67c01d1802","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4195a624cca188da41321d8d6e9a4a7e3eb96cf9cb2d023b2da4c67c01d1802","first_computed_at":"2026-05-18T00:47:43.144931Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:43.144931Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fsfpFifWigF2nftRyCRq2I1huazCcrMHXFlhNhBjsc5qc+Pw1jvoLSlKjIXz4AMwf8lZ0SKbExHZ+DHOsRL1CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:43.145644Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.02307","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0046addf71fbf7fc837d09d5819817dadf04b90eedadf6edc9c41ef397d9da69","sha256:6efb44c7dc4bd95f19d9ea825fd63dbd0e4d1b65c44a5eae9ec317cd67337e80"],"state_sha256":"27dfb9bb3cc3a17535d7bdb61f533e473f6a34f735ec215dfcc11b284d25877b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XYGkrjzvQh/Oid+A1aZgzoHvwqCoi9emDaIUO/nZoEHZYoREoldBgA8Lt7Ronz7IGu+ZvuNG7Dc5VRturh2bAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T09:46:46.991195Z","bundle_sha256":"01cc42061d511379d4cc9f54a96c3ec56af8041bc198284217c61788b68ec8ff"}}