{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:RZB6TP6RXDUU6INZIZ6MNMXBWP","short_pith_number":"pith:RZB6TP6R","canonical_record":{"source":{"id":"0904.3449","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-04-22T12:26:12Z","cross_cats_sorted":["math.QA"],"title_canon_sha256":"12e58719c91c4b5dac25072146bbd5cfb88d996f454ef3094ca27c5953c4bdea","abstract_canon_sha256":"9f460288aaefca172d4b0acf2dc917fd4261b9d1e575da74249feeb493f6c4f7"},"schema_version":"1.0"},"canonical_sha256":"8e43e9bfd1b8e94f21b9467cc6b2e1b3fefec0bbe20174a9a197f9bdd9fc0163","source":{"kind":"arxiv","id":"0904.3449","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.3449","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"arxiv_version","alias_value":"0904.3449v4","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.3449","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"pith_short_12","alias_value":"RZB6TP6RXDUU","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"RZB6TP6RXDUU6INZ","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"RZB6TP6R","created_at":"2026-05-18T12:26:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:RZB6TP6RXDUU6INZIZ6MNMXBWP","target":"record","payload":{"canonical_record":{"source":{"id":"0904.3449","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-04-22T12:26:12Z","cross_cats_sorted":["math.QA"],"title_canon_sha256":"12e58719c91c4b5dac25072146bbd5cfb88d996f454ef3094ca27c5953c4bdea","abstract_canon_sha256":"9f460288aaefca172d4b0acf2dc917fd4261b9d1e575da74249feeb493f6c4f7"},"schema_version":"1.0"},"canonical_sha256":"8e43e9bfd1b8e94f21b9467cc6b2e1b3fefec0bbe20174a9a197f9bdd9fc0163","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:09.215533Z","signature_b64":"gi09Zq6Hn48DyWL9ajij3duCX257mwI3JfVuFJIofKFnvgFyKIzOQR4ETVVoclRLOcLI0S8tBfNZezLwSbGcAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8e43e9bfd1b8e94f21b9467cc6b2e1b3fefec0bbe20174a9a197f9bdd9fc0163","last_reissued_at":"2026-05-18T00:54:09.215006Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:09.215006Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0904.3449","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-05-18T00:54:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XBVztMgepUeaV18VhPK337Qu9hcoC1h8HdX3HZwqfcTHoAbuaMfzsF/ve6I/buuZuqJnXleinh6LlpUGrQzuCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T02:06:06.706343Z"},"content_sha256":"2929366973bf38ee3724b814954a1b129a06657d33442adb91b8659237ae510f","schema_version":"1.0","event_id":"sha256:2929366973bf38ee3724b814954a1b129a06657d33442adb91b8659237ae510f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:RZB6TP6RXDUU6INZIZ6MNMXBWP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"What Separable Frobenius Monoidal Functors Preserve","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.QA"],"primary_cat":"math.CT","authors_text":"Micah Blake McCurdy, Ross Street","submitted_at":"2009-04-22T12:26:12Z","abstract_excerpt":"Separable Frobenius monoidal functors were defined and studied under that name by Szlachanyi and by Day and Pastro, and in a more general context by Cockett and Seely. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Yang-Baxter operators in the sense of Alonso Alvarez et al., and (in the braided case) weak bimonoids in the sense of Pastro and Street. In fact, we characterize which monoidal expressi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.3449","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":""},"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:54:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v29J1Pwm2zq9jYscrqE98EmuPGdsvOOjH8ADt9GXkSTSwVglGBv2j9+6zjtNjwobTLAr276cRzNj2GDb7t+6Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T02:06:06.706685Z"},"content_sha256":"578653787f51fb68aac5acf40e27651b5332d510c03ae7b2449eaea74b96e84a","schema_version":"1.0","event_id":"sha256:578653787f51fb68aac5acf40e27651b5332d510c03ae7b2449eaea74b96e84a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RZB6TP6RXDUU6INZIZ6MNMXBWP/bundle.json","state_url":"https://pith.science/pith/RZB6TP6RXDUU6INZIZ6MNMXBWP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RZB6TP6RXDUU6INZIZ6MNMXBWP/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-27T02:06:06Z","links":{"resolver":"https://pith.science/pith/RZB6TP6RXDUU6INZIZ6MNMXBWP","bundle":"https://pith.science/pith/RZB6TP6RXDUU6INZIZ6MNMXBWP/bundle.json","state":"https://pith.science/pith/RZB6TP6RXDUU6INZIZ6MNMXBWP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RZB6TP6RXDUU6INZIZ6MNMXBWP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:RZB6TP6RXDUU6INZIZ6MNMXBWP","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":"9f460288aaefca172d4b0acf2dc917fd4261b9d1e575da74249feeb493f6c4f7","cross_cats_sorted":["math.QA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-04-22T12:26:12Z","title_canon_sha256":"12e58719c91c4b5dac25072146bbd5cfb88d996f454ef3094ca27c5953c4bdea"},"schema_version":"1.0","source":{"id":"0904.3449","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.3449","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"arxiv_version","alias_value":"0904.3449v4","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.3449","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"pith_short_12","alias_value":"RZB6TP6RXDUU","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"RZB6TP6RXDUU6INZ","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"RZB6TP6R","created_at":"2026-05-18T12:26:01Z"}],"graph_snapshots":[{"event_id":"sha256:578653787f51fb68aac5acf40e27651b5332d510c03ae7b2449eaea74b96e84a","target":"graph","created_at":"2026-05-18T00:54:09Z","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":"Separable Frobenius monoidal functors were defined and studied under that name by Szlachanyi and by Day and Pastro, and in a more general context by Cockett and Seely. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Yang-Baxter operators in the sense of Alonso Alvarez et al., and (in the braided case) weak bimonoids in the sense of Pastro and Street. In fact, we characterize which monoidal expressi","authors_text":"Micah Blake McCurdy, Ross Street","cross_cats":["math.QA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-04-22T12:26:12Z","title":"What Separable Frobenius Monoidal Functors Preserve"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.3449","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:2929366973bf38ee3724b814954a1b129a06657d33442adb91b8659237ae510f","target":"record","created_at":"2026-05-18T00:54:09Z","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":"9f460288aaefca172d4b0acf2dc917fd4261b9d1e575da74249feeb493f6c4f7","cross_cats_sorted":["math.QA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-04-22T12:26:12Z","title_canon_sha256":"12e58719c91c4b5dac25072146bbd5cfb88d996f454ef3094ca27c5953c4bdea"},"schema_version":"1.0","source":{"id":"0904.3449","kind":"arxiv","version":4}},"canonical_sha256":"8e43e9bfd1b8e94f21b9467cc6b2e1b3fefec0bbe20174a9a197f9bdd9fc0163","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8e43e9bfd1b8e94f21b9467cc6b2e1b3fefec0bbe20174a9a197f9bdd9fc0163","first_computed_at":"2026-05-18T00:54:09.215006Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:09.215006Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gi09Zq6Hn48DyWL9ajij3duCX257mwI3JfVuFJIofKFnvgFyKIzOQR4ETVVoclRLOcLI0S8tBfNZezLwSbGcAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:09.215533Z","signed_message":"canonical_sha256_bytes"},"source_id":"0904.3449","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2929366973bf38ee3724b814954a1b129a06657d33442adb91b8659237ae510f","sha256:578653787f51fb68aac5acf40e27651b5332d510c03ae7b2449eaea74b96e84a"],"state_sha256":"0d510efbf9572a7d70601f082916b6e82fca92fa659fb5b295c36df38580d6db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H3ByZAs+W+tOqXPEuIj00twKDCHAVuoW9hqxALEXKN6BSWjVLgWjRxyJgL9QV4kpaKbiX8gJyFRKnkAIaNDZAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T02:06:06.708552Z","bundle_sha256":"123df904fa299516f28da37f266273416da934b52083e99900b6e567349f9b88"}}