{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:IN2XMVCUN46DU4UMBZNVZ7M7KV","short_pith_number":"pith:IN2XMVCU","canonical_record":{"source":{"id":"1410.6972","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-10-25T23:14:30Z","cross_cats_sorted":[],"title_canon_sha256":"2daa57be9b51ed702ea1a2d2704c55206c995103112f26d81e9cf4c9fab03997","abstract_canon_sha256":"1942758fd178c31e1d0ce289da8151fed3c1d14e7247e3708916010d71397b89"},"schema_version":"1.0"},"canonical_sha256":"43757654546f3c3a728c0e5b5cfd9f557bb2a67c7285bd718628bfc91e961442","source":{"kind":"arxiv","id":"1410.6972","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.6972","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"arxiv_version","alias_value":"1410.6972v3","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.6972","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"pith_short_12","alias_value":"IN2XMVCUN46D","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"IN2XMVCUN46DU4UM","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"IN2XMVCU","created_at":"2026-05-18T12:28:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:IN2XMVCUN46DU4UMBZNVZ7M7KV","target":"record","payload":{"canonical_record":{"source":{"id":"1410.6972","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-10-25T23:14:30Z","cross_cats_sorted":[],"title_canon_sha256":"2daa57be9b51ed702ea1a2d2704c55206c995103112f26d81e9cf4c9fab03997","abstract_canon_sha256":"1942758fd178c31e1d0ce289da8151fed3c1d14e7247e3708916010d71397b89"},"schema_version":"1.0"},"canonical_sha256":"43757654546f3c3a728c0e5b5cfd9f557bb2a67c7285bd718628bfc91e961442","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:02.091635Z","signature_b64":"qqghQN9J3e/tXPsrfGAgQLPnJ8tJkUdsboTR7JALKL/f2gW808+wY/hUM28pAVO/ipjlrepjynqTa2kT4dG0BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"43757654546f3c3a728c0e5b5cfd9f557bb2a67c7285bd718628bfc91e961442","last_reissued_at":"2026-05-18T01:37:02.091121Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:02.091121Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.6972","source_version":3,"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-18T01:37:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1OzzHGRlxp8CUvFL8ITnWfCqX5uGd093XjFvbnTIXaSLkU/48XgFLJZ66wRrZCT8hOY7dkPNG1n99R5JrxYUBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T16:08:00.794929Z"},"content_sha256":"229dc21746c527a1a2966b1241a1e5253a8ed47887b1d84f96180ead1153e76f","schema_version":"1.0","event_id":"sha256:229dc21746c527a1a2966b1241a1e5253a8ed47887b1d84f96180ead1153e76f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:IN2XMVCUN46DU4UMBZNVZ7M7KV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Skew-monoidal reflection and lifting theorems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Ross Street, Stephen Lack","submitted_at":"2014-10-25T23:14:30Z","abstract_excerpt":"The Day Reflection Theorem gives conditions under which a reflective subcategory of a closed monoidal category can be equipped with a closed monoidal structure in such a way that the reflection adjunction becomes a monoidal adjunction. We adapt this result to skew monoidal categories. The beauty of this variant is further evidence that the direction choices involved in the skew notion are important for organizing, and adding depth to, certain mathematical phenomena. We also provide conditions under which a skew monoidal structure can be lifted to the category of Eilenberg-Moore algebras for a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.6972","kind":"arxiv","version":3},"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-18T01:37:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xsyfrulHjWGCDiFLD8YOMfk3TQFRJOI00mZBAChNdbDU1a6KzTSCCzywz3bck3DywAvqzaAB4reLvKT1cqpaCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T16:08:00.795266Z"},"content_sha256":"96503586045424f3f59c0f08f598bb3b711a5ad7af2b8bd2e9b47c54d682c9af","schema_version":"1.0","event_id":"sha256:96503586045424f3f59c0f08f598bb3b711a5ad7af2b8bd2e9b47c54d682c9af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IN2XMVCUN46DU4UMBZNVZ7M7KV/bundle.json","state_url":"https://pith.science/pith/IN2XMVCUN46DU4UMBZNVZ7M7KV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IN2XMVCUN46DU4UMBZNVZ7M7KV/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-03T16:08:00Z","links":{"resolver":"https://pith.science/pith/IN2XMVCUN46DU4UMBZNVZ7M7KV","bundle":"https://pith.science/pith/IN2XMVCUN46DU4UMBZNVZ7M7KV/bundle.json","state":"https://pith.science/pith/IN2XMVCUN46DU4UMBZNVZ7M7KV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IN2XMVCUN46DU4UMBZNVZ7M7KV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:IN2XMVCUN46DU4UMBZNVZ7M7KV","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":"1942758fd178c31e1d0ce289da8151fed3c1d14e7247e3708916010d71397b89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-10-25T23:14:30Z","title_canon_sha256":"2daa57be9b51ed702ea1a2d2704c55206c995103112f26d81e9cf4c9fab03997"},"schema_version":"1.0","source":{"id":"1410.6972","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.6972","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"arxiv_version","alias_value":"1410.6972v3","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.6972","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"pith_short_12","alias_value":"IN2XMVCUN46D","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"IN2XMVCUN46DU4UM","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"IN2XMVCU","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:96503586045424f3f59c0f08f598bb3b711a5ad7af2b8bd2e9b47c54d682c9af","target":"graph","created_at":"2026-05-18T01:37:02Z","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":"The Day Reflection Theorem gives conditions under which a reflective subcategory of a closed monoidal category can be equipped with a closed monoidal structure in such a way that the reflection adjunction becomes a monoidal adjunction. We adapt this result to skew monoidal categories. The beauty of this variant is further evidence that the direction choices involved in the skew notion are important for organizing, and adding depth to, certain mathematical phenomena. We also provide conditions under which a skew monoidal structure can be lifted to the category of Eilenberg-Moore algebras for a ","authors_text":"Ross Street, Stephen Lack","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-10-25T23:14:30Z","title":"Skew-monoidal reflection and lifting theorems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.6972","kind":"arxiv","version":3},"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:229dc21746c527a1a2966b1241a1e5253a8ed47887b1d84f96180ead1153e76f","target":"record","created_at":"2026-05-18T01:37:02Z","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":"1942758fd178c31e1d0ce289da8151fed3c1d14e7247e3708916010d71397b89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-10-25T23:14:30Z","title_canon_sha256":"2daa57be9b51ed702ea1a2d2704c55206c995103112f26d81e9cf4c9fab03997"},"schema_version":"1.0","source":{"id":"1410.6972","kind":"arxiv","version":3}},"canonical_sha256":"43757654546f3c3a728c0e5b5cfd9f557bb2a67c7285bd718628bfc91e961442","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"43757654546f3c3a728c0e5b5cfd9f557bb2a67c7285bd718628bfc91e961442","first_computed_at":"2026-05-18T01:37:02.091121Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:02.091121Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qqghQN9J3e/tXPsrfGAgQLPnJ8tJkUdsboTR7JALKL/f2gW808+wY/hUM28pAVO/ipjlrepjynqTa2kT4dG0BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:02.091635Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.6972","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:229dc21746c527a1a2966b1241a1e5253a8ed47887b1d84f96180ead1153e76f","sha256:96503586045424f3f59c0f08f598bb3b711a5ad7af2b8bd2e9b47c54d682c9af"],"state_sha256":"39108b8e0f4262313bc2e9b9b80cb6260004438c7901da51917cf6c62e4e6cb0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TAQLngoIPkDYTL2rWeyB3yhoGnn0Q0mwurb+MKJPxPx37OjnEbyJ+PvV0xbYiZTeMXauC58aCx5cMkHbROfPAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T16:08:00.797120Z","bundle_sha256":"befc2730f20721e601a90bfd4c178280b27954c0149c3d9b3b199e010f0761b5"}}