{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:MK2G3KGFHPNLRK75A4T63MWTC7","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":"2a04e07e4650ba6401a668f5fb604b938ccedb8714464a7ae0177baf28acf55d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2019-08-07T13:43:40Z","title_canon_sha256":"61259c6f96abc4789b156b00d59915c4f3bc038b49cb49ee7233b06d1a4a94fe"},"schema_version":"1.0","source":{"id":"1908.02633","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.02633","created_at":"2026-07-05T01:00:12Z"},{"alias_kind":"arxiv_version","alias_value":"1908.02633v2","created_at":"2026-07-05T01:00:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02633","created_at":"2026-07-05T01:00:12Z"},{"alias_kind":"pith_short_12","alias_value":"MK2G3KGFHPNL","created_at":"2026-07-05T01:00:12Z"},{"alias_kind":"pith_short_16","alias_value":"MK2G3KGFHPNLRK75","created_at":"2026-07-05T01:00:12Z"},{"alias_kind":"pith_short_8","alias_value":"MK2G3KGF","created_at":"2026-07-05T01:00:12Z"}],"graph_snapshots":[{"event_id":"sha256:57593fb9b87ed4102d9e9f86c6f214a868b8069ef5616ec48765b6f12b55a050","target":"graph","created_at":"2026-07-05T01:00:12Z","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/1908.02633/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"It is common to encounter symmetric monoidal categories $\\mathcal{C}$ for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal product and unit in $\\mathcal{C}$. We define this formally and say that $\\mathcal{C}$ supplies the algebraic structure. For example, the category $\\mathsf{Rel}$ of relations between sets has monoidal structures given by both cartesian product and disjoint union, and with respect to either one it supplies comonoids. We prove several facts about the notion of supply, e.g. that the associators, unitors, and braiding of ","authors_text":"Brendan Fong, David I Spivak","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2019-08-07T13:43:40Z","title":"Supplying bells and whistles in symmetric monoidal categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02633","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:19c68d72bca951faaf13bc71d7cda09e42de681cae18e8094fdd8375fcb5551e","target":"record","created_at":"2026-07-05T01:00:12Z","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":"2a04e07e4650ba6401a668f5fb604b938ccedb8714464a7ae0177baf28acf55d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2019-08-07T13:43:40Z","title_canon_sha256":"61259c6f96abc4789b156b00d59915c4f3bc038b49cb49ee7233b06d1a4a94fe"},"schema_version":"1.0","source":{"id":"1908.02633","kind":"arxiv","version":2}},"canonical_sha256":"62b46da8c53bdab8abfd0727edb2d317c993d7310a96a6c1cbf008270d580bbe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"62b46da8c53bdab8abfd0727edb2d317c993d7310a96a6c1cbf008270d580bbe","first_computed_at":"2026-07-05T01:00:12.974065Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:00:12.974065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s55/9/BenmuCqHvIDkJqkt0CYvO0PuQ1YeuxBq75f5+NhJQlWPXL/O3ieLYAX9TRj4Tl6Y8AtQMBxiBUMyBBAw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:00:12.974552Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.02633","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19c68d72bca951faaf13bc71d7cda09e42de681cae18e8094fdd8375fcb5551e","sha256:57593fb9b87ed4102d9e9f86c6f214a868b8069ef5616ec48765b6f12b55a050"],"state_sha256":"a78cc65f947f2d10942be37d9c45a5b49928f10f8ec8983c88461fccc76bca49"}