{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:FGQ7K2OAE3AU3V3QELDN3JLZEC","short_pith_number":"pith:FGQ7K2OA","schema_version":"1.0","canonical_sha256":"29a1f569c026c14dd77022c6dda5792098dc4f1f5e7241dd3e5d2d2e8e74ebef","source":{"kind":"arxiv","id":"2106.01878","version":1},"attestation_state":"computed","paper":{"title":"Chu representations of categories related to constructive mathematics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Iosif Petrakis","submitted_at":"2021-06-03T14:23:02Z","abstract_excerpt":"If C is a closed symmetric monoidal category, the Chu category Chu(C, g) over C and an object g of it was defined by Chu, as a *-autonomous category generated from C. Bishop introduced the category of complemented subsets of a set, in order to overcome the problems generated by the use of negation in constructive measure theory. Shulman mentions that Bishop's complemented subsets correspond roughly to the Chu construction. In this paper we explain this correspondence by showing that there is a Chu representation (a full embedding) of the category of complemented subsets of a set X into Chu(Set"},"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":"2106.01878","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2021-06-03T14:23:02Z","cross_cats_sorted":[],"title_canon_sha256":"65ff75e6e18e6461e05c19525285ecab02a17bd044d51bea11122d8d1536e03f","abstract_canon_sha256":"e358da6c52300a2e84dc852a2cd3749b51360e5e62d74871f37a98c3856ffacf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:46:05.301361Z","signature_b64":"1jY5ayXpTGI3/HhBXcJ3O42g7P3lldCNJMYujTo1dtAbQs1LzwdNOmjGC6gGH/GQmL3VFHuOP1lhNQrclGtlBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29a1f569c026c14dd77022c6dda5792098dc4f1f5e7241dd3e5d2d2e8e74ebef","last_reissued_at":"2026-07-05T02:46:05.300945Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:46:05.300945Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Chu representations of categories related to constructive mathematics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Iosif Petrakis","submitted_at":"2021-06-03T14:23:02Z","abstract_excerpt":"If C is a closed symmetric monoidal category, the Chu category Chu(C, g) over C and an object g of it was defined by Chu, as a *-autonomous category generated from C. Bishop introduced the category of complemented subsets of a set, in order to overcome the problems generated by the use of negation in constructive measure theory. Shulman mentions that Bishop's complemented subsets correspond roughly to the Chu construction. In this paper we explain this correspondence by showing that there is a Chu representation (a full embedding) of the category of complemented subsets of a set X into Chu(Set"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.01878","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2106.01878/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2106.01878","created_at":"2026-07-05T02:46:05.301008+00:00"},{"alias_kind":"arxiv_version","alias_value":"2106.01878v1","created_at":"2026-07-05T02:46:05.301008+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.01878","created_at":"2026-07-05T02:46:05.301008+00:00"},{"alias_kind":"pith_short_12","alias_value":"FGQ7K2OAE3AU","created_at":"2026-07-05T02:46:05.301008+00:00"},{"alias_kind":"pith_short_16","alias_value":"FGQ7K2OAE3AU3V3Q","created_at":"2026-07-05T02:46:05.301008+00:00"},{"alias_kind":"pith_short_8","alias_value":"FGQ7K2OA","created_at":"2026-07-05T02:46:05.301008+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/FGQ7K2OAE3AU3V3QELDN3JLZEC","json":"https://pith.science/pith/FGQ7K2OAE3AU3V3QELDN3JLZEC.json","graph_json":"https://pith.science/api/pith-number/FGQ7K2OAE3AU3V3QELDN3JLZEC/graph.json","events_json":"https://pith.science/api/pith-number/FGQ7K2OAE3AU3V3QELDN3JLZEC/events.json","paper":"https://pith.science/paper/FGQ7K2OA"},"agent_actions":{"view_html":"https://pith.science/pith/FGQ7K2OAE3AU3V3QELDN3JLZEC","download_json":"https://pith.science/pith/FGQ7K2OAE3AU3V3QELDN3JLZEC.json","view_paper":"https://pith.science/paper/FGQ7K2OA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2106.01878&json=true","fetch_graph":"https://pith.science/api/pith-number/FGQ7K2OAE3AU3V3QELDN3JLZEC/graph.json","fetch_events":"https://pith.science/api/pith-number/FGQ7K2OAE3AU3V3QELDN3JLZEC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FGQ7K2OAE3AU3V3QELDN3JLZEC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FGQ7K2OAE3AU3V3QELDN3JLZEC/action/storage_attestation","attest_author":"https://pith.science/pith/FGQ7K2OAE3AU3V3QELDN3JLZEC/action/author_attestation","sign_citation":"https://pith.science/pith/FGQ7K2OAE3AU3V3QELDN3JLZEC/action/citation_signature","submit_replication":"https://pith.science/pith/FGQ7K2OAE3AU3V3QELDN3JLZEC/action/replication_record"}},"created_at":"2026-07-05T02:46:05.301008+00:00","updated_at":"2026-07-05T02:46:05.301008+00:00"}