{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:4L6E53BTEITWUGMKEBCCYQQAO5","short_pith_number":"pith:4L6E53BT","schema_version":"1.0","canonical_sha256":"e2fc4eec3322276a198a20442c42007772ce066081201d8ad528b70556771636","source":{"kind":"arxiv","id":"1301.1053","version":7},"attestation_state":"computed","paper":{"title":"Compact Closed Bicategories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Michael Stay","submitted_at":"2013-01-06T20:56:39Z","abstract_excerpt":"A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual \"zig-zag\" identities of a compact closed category only up to natural isomorphism, and the isomorphism is subject to a coherence law. We give several examples of compact closed bicategories, then review previous work. In particular, Day and Street defined compact closed bicategories indirectly via Gray monoids and then appealed to a coherence theorem to extend the concept to bicategories; we restate the definition directly.\n  We prove that given a"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1301.1053","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-01-06T20:56:39Z","cross_cats_sorted":[],"title_canon_sha256":"bbb63bf169df2d3e88ff9e0199924f3a525733675532decfb1232271ce526b5d","abstract_canon_sha256":"e724cef316dc01f5e18c24bbc99c9e82881d9cc197cc1e8a95519beff263fee5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:29.347818Z","signature_b64":"MYb9hDppn493DHq5f7Y1+eRmh0DOeQkTuzsnJ4j1H+0K6vxCfbVRh8XQwy/8BhkNDpiDsalpNuIhkAgVm9utBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2fc4eec3322276a198a20442c42007772ce066081201d8ad528b70556771636","last_reissued_at":"2026-05-18T01:08:29.347300Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:29.347300Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compact Closed Bicategories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Michael Stay","submitted_at":"2013-01-06T20:56:39Z","abstract_excerpt":"A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual \"zig-zag\" identities of a compact closed category only up to natural isomorphism, and the isomorphism is subject to a coherence law. We give several examples of compact closed bicategories, then review previous work. In particular, Day and Street defined compact closed bicategories indirectly via Gray monoids and then appealed to a coherence theorem to extend the concept to bicategories; we restate the definition directly.\n  We prove that given a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.1053","kind":"arxiv","version":7},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1301.1053","created_at":"2026-05-18T01:08:29.347390+00:00"},{"alias_kind":"arxiv_version","alias_value":"1301.1053v7","created_at":"2026-05-18T01:08:29.347390+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.1053","created_at":"2026-05-18T01:08:29.347390+00:00"},{"alias_kind":"pith_short_12","alias_value":"4L6E53BTEITW","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_16","alias_value":"4L6E53BTEITWUGMK","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_8","alias_value":"4L6E53BT","created_at":"2026-05-18T12:27:34.582898+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5","json":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5.json","graph_json":"https://pith.science/api/pith-number/4L6E53BTEITWUGMKEBCCYQQAO5/graph.json","events_json":"https://pith.science/api/pith-number/4L6E53BTEITWUGMKEBCCYQQAO5/events.json","paper":"https://pith.science/paper/4L6E53BT"},"agent_actions":{"view_html":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5","download_json":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5.json","view_paper":"https://pith.science/paper/4L6E53BT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1301.1053&json=true","fetch_graph":"https://pith.science/api/pith-number/4L6E53BTEITWUGMKEBCCYQQAO5/graph.json","fetch_events":"https://pith.science/api/pith-number/4L6E53BTEITWUGMKEBCCYQQAO5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5/action/storage_attestation","attest_author":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5/action/author_attestation","sign_citation":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5/action/citation_signature","submit_replication":"https://pith.science/pith/4L6E53BTEITWUGMKEBCCYQQAO5/action/replication_record"}},"created_at":"2026-05-18T01:08:29.347390+00:00","updated_at":"2026-05-18T01:08:29.347390+00:00"}