{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:REGGIDEZZKXO7R7C2LR4Y4Y6PN","short_pith_number":"pith:REGGIDEZ","schema_version":"1.0","canonical_sha256":"890c640c99caaeefc7e2d2e3cc731e7b749bdae267188b3a1413ac50d63c1b38","source":{"kind":"arxiv","id":"1212.5539","version":3},"attestation_state":"computed","paper":{"title":"The enriched Vietoris monad on representable spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.CT","authors_text":"Dirk Hofmann","submitted_at":"2012-12-21T17:49:51Z","abstract_excerpt":"Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the \"up-set monad\" on representable"},"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":"1212.5539","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-12-21T17:49:51Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"76597b9d7a0e0c9cd67d5c4420a7bf193562a0cd0c86cdd142bdcbbd9abd8766","abstract_canon_sha256":"bd8cd2f6f54fe6238e4bcef94596a1974b5b09a875c4cb85971696cd6d301d0b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:24:52.503982Z","signature_b64":"ZkYIr8PPOq/DojWyUx6xpRc5kl6DMTbJANxMmJqjertAWDuij74+ZcK2A8TMyARp+ilpk5CV/HBja8BtSl3OAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"890c640c99caaeefc7e2d2e3cc731e7b749bdae267188b3a1413ac50d63c1b38","last_reissued_at":"2026-05-18T03:24:52.503338Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:24:52.503338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The enriched Vietoris monad on representable spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.CT","authors_text":"Dirk Hofmann","submitted_at":"2012-12-21T17:49:51Z","abstract_excerpt":"Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the \"up-set monad\" on representable"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.5539","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1212.5539","created_at":"2026-05-18T03:24:52.503426+00:00"},{"alias_kind":"arxiv_version","alias_value":"1212.5539v3","created_at":"2026-05-18T03:24:52.503426+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.5539","created_at":"2026-05-18T03:24:52.503426+00:00"},{"alias_kind":"pith_short_12","alias_value":"REGGIDEZZKXO","created_at":"2026-05-18T12:27:20.899486+00:00"},{"alias_kind":"pith_short_16","alias_value":"REGGIDEZZKXO7R7C","created_at":"2026-05-18T12:27:20.899486+00:00"},{"alias_kind":"pith_short_8","alias_value":"REGGIDEZ","created_at":"2026-05-18T12:27:20.899486+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/REGGIDEZZKXO7R7C2LR4Y4Y6PN","json":"https://pith.science/pith/REGGIDEZZKXO7R7C2LR4Y4Y6PN.json","graph_json":"https://pith.science/api/pith-number/REGGIDEZZKXO7R7C2LR4Y4Y6PN/graph.json","events_json":"https://pith.science/api/pith-number/REGGIDEZZKXO7R7C2LR4Y4Y6PN/events.json","paper":"https://pith.science/paper/REGGIDEZ"},"agent_actions":{"view_html":"https://pith.science/pith/REGGIDEZZKXO7R7C2LR4Y4Y6PN","download_json":"https://pith.science/pith/REGGIDEZZKXO7R7C2LR4Y4Y6PN.json","view_paper":"https://pith.science/paper/REGGIDEZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1212.5539&json=true","fetch_graph":"https://pith.science/api/pith-number/REGGIDEZZKXO7R7C2LR4Y4Y6PN/graph.json","fetch_events":"https://pith.science/api/pith-number/REGGIDEZZKXO7R7C2LR4Y4Y6PN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/REGGIDEZZKXO7R7C2LR4Y4Y6PN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/REGGIDEZZKXO7R7C2LR4Y4Y6PN/action/storage_attestation","attest_author":"https://pith.science/pith/REGGIDEZZKXO7R7C2LR4Y4Y6PN/action/author_attestation","sign_citation":"https://pith.science/pith/REGGIDEZZKXO7R7C2LR4Y4Y6PN/action/citation_signature","submit_replication":"https://pith.science/pith/REGGIDEZZKXO7R7C2LR4Y4Y6PN/action/replication_record"}},"created_at":"2026-05-18T03:24:52.503426+00:00","updated_at":"2026-05-18T03:24:52.503426+00:00"}