{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TVNGCAH5NDPGX4NUGYPLMXKHA6","short_pith_number":"pith:TVNGCAH5","canonical_record":{"source":{"id":"1810.00778","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-10-01T15:58:24Z","cross_cats_sorted":[],"title_canon_sha256":"22f48c6a42f378406b333378e3faf160c93186776d2e59d90290e73775a74e96","abstract_canon_sha256":"9a8aa2832f74ad0ea7179a83a1d6ccdb8b942d54dbaad288537cbbe815924343"},"schema_version":"1.0"},"canonical_sha256":"9d5a6100fd68de6bf1b4361eb65d4707802852f6ef20d1161b5dea4c2f8737a0","source":{"kind":"arxiv","id":"1810.00778","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.00778","created_at":"2026-05-18T00:04:24Z"},{"alias_kind":"arxiv_version","alias_value":"1810.00778v1","created_at":"2026-05-18T00:04:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.00778","created_at":"2026-05-18T00:04:24Z"},{"alias_kind":"pith_short_12","alias_value":"TVNGCAH5NDPG","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TVNGCAH5NDPGX4NU","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TVNGCAH5","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TVNGCAH5NDPGX4NUGYPLMXKHA6","target":"record","payload":{"canonical_record":{"source":{"id":"1810.00778","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-10-01T15:58:24Z","cross_cats_sorted":[],"title_canon_sha256":"22f48c6a42f378406b333378e3faf160c93186776d2e59d90290e73775a74e96","abstract_canon_sha256":"9a8aa2832f74ad0ea7179a83a1d6ccdb8b942d54dbaad288537cbbe815924343"},"schema_version":"1.0"},"canonical_sha256":"9d5a6100fd68de6bf1b4361eb65d4707802852f6ef20d1161b5dea4c2f8737a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:24.862650Z","signature_b64":"ctxNLhV/GLeCKCbqKhOwBYZIrZ8KFbDQNVgb0BMckZ8Tzxsg8yAErWfr/lpdUEtWVYKyn/lj3AYI80aju8BuCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9d5a6100fd68de6bf1b4361eb65d4707802852f6ef20d1161b5dea4c2f8737a0","last_reissued_at":"2026-05-18T00:04:24.861971Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:24.861971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.00778","source_version":1,"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-18T00:04:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MJZNt/EMGE9WEzJ1wtvVVUQPiuG3AW0EKzRpWVsrJmRSmouCHIDVW/NHMPTwQeLwz0v2WmIS1d9TX+le3bY8Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T02:39:11.855271Z"},"content_sha256":"6d579c9cbb0973739a0f72fc81ba97a7e77fe896fca1080c45fea17dd3495d84","schema_version":"1.0","event_id":"sha256:6d579c9cbb0973739a0f72fc81ba97a7e77fe896fca1080c45fea17dd3495d84"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TVNGCAH5NDPGX4NUGYPLMXKHA6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The epimorphisms of the category Haus are exactly the image-dense morphisms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GN","authors_text":"J\\'er\\^ome Lapuyade-Lahorgue","submitted_at":"2018-10-01T15:58:24Z","abstract_excerpt":"This document presents the proof that the epimorphisms of the category of Hausdorff spaces are exactly the image dense morphisms. While it is a classical result; its proof is difficult to find in internet. Consequently, I decided to write the proof on my way and to share my knowledge freely on Arxiv. This document can interest any student in Pure Mathematics in the topics of topology and category theory. The image-dense morphisms are clearly epimorphisms. To etablish the converse, I use an analogous to the Kolmogorov quotient that I call Hausdorff quotient. Thanks to this Hausdorff quotient, o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.00778","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":""},"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-18T00:04:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WAni1HRpJEgPVhLnYceoJbNP8f+FeLt5Y3dspoBp+z03FMVg1KtKbR8dl6vBQ5ptkS0beOiJL3Vo6eTcv8lWDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T02:39:11.855856Z"},"content_sha256":"d3ff22095eceb4c71f336c3dfb68c743ccfff499cd90ecce005336b86e3fd05b","schema_version":"1.0","event_id":"sha256:d3ff22095eceb4c71f336c3dfb68c743ccfff499cd90ecce005336b86e3fd05b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TVNGCAH5NDPGX4NUGYPLMXKHA6/bundle.json","state_url":"https://pith.science/pith/TVNGCAH5NDPGX4NUGYPLMXKHA6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TVNGCAH5NDPGX4NUGYPLMXKHA6/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-07-07T02:39:11Z","links":{"resolver":"https://pith.science/pith/TVNGCAH5NDPGX4NUGYPLMXKHA6","bundle":"https://pith.science/pith/TVNGCAH5NDPGX4NUGYPLMXKHA6/bundle.json","state":"https://pith.science/pith/TVNGCAH5NDPGX4NUGYPLMXKHA6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TVNGCAH5NDPGX4NUGYPLMXKHA6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TVNGCAH5NDPGX4NUGYPLMXKHA6","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":"9a8aa2832f74ad0ea7179a83a1d6ccdb8b942d54dbaad288537cbbe815924343","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-10-01T15:58:24Z","title_canon_sha256":"22f48c6a42f378406b333378e3faf160c93186776d2e59d90290e73775a74e96"},"schema_version":"1.0","source":{"id":"1810.00778","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.00778","created_at":"2026-05-18T00:04:24Z"},{"alias_kind":"arxiv_version","alias_value":"1810.00778v1","created_at":"2026-05-18T00:04:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.00778","created_at":"2026-05-18T00:04:24Z"},{"alias_kind":"pith_short_12","alias_value":"TVNGCAH5NDPG","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TVNGCAH5NDPGX4NU","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TVNGCAH5","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:d3ff22095eceb4c71f336c3dfb68c743ccfff499cd90ecce005336b86e3fd05b","target":"graph","created_at":"2026-05-18T00:04:24Z","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":"This document presents the proof that the epimorphisms of the category of Hausdorff spaces are exactly the image dense morphisms. While it is a classical result; its proof is difficult to find in internet. Consequently, I decided to write the proof on my way and to share my knowledge freely on Arxiv. This document can interest any student in Pure Mathematics in the topics of topology and category theory. The image-dense morphisms are clearly epimorphisms. To etablish the converse, I use an analogous to the Kolmogorov quotient that I call Hausdorff quotient. Thanks to this Hausdorff quotient, o","authors_text":"J\\'er\\^ome Lapuyade-Lahorgue","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-10-01T15:58:24Z","title":"The epimorphisms of the category Haus are exactly the image-dense morphisms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.00778","kind":"arxiv","version":1},"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:6d579c9cbb0973739a0f72fc81ba97a7e77fe896fca1080c45fea17dd3495d84","target":"record","created_at":"2026-05-18T00:04:24Z","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":"9a8aa2832f74ad0ea7179a83a1d6ccdb8b942d54dbaad288537cbbe815924343","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-10-01T15:58:24Z","title_canon_sha256":"22f48c6a42f378406b333378e3faf160c93186776d2e59d90290e73775a74e96"},"schema_version":"1.0","source":{"id":"1810.00778","kind":"arxiv","version":1}},"canonical_sha256":"9d5a6100fd68de6bf1b4361eb65d4707802852f6ef20d1161b5dea4c2f8737a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9d5a6100fd68de6bf1b4361eb65d4707802852f6ef20d1161b5dea4c2f8737a0","first_computed_at":"2026-05-18T00:04:24.861971Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:24.861971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ctxNLhV/GLeCKCbqKhOwBYZIrZ8KFbDQNVgb0BMckZ8Tzxsg8yAErWfr/lpdUEtWVYKyn/lj3AYI80aju8BuCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:24.862650Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.00778","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6d579c9cbb0973739a0f72fc81ba97a7e77fe896fca1080c45fea17dd3495d84","sha256:d3ff22095eceb4c71f336c3dfb68c743ccfff499cd90ecce005336b86e3fd05b"],"state_sha256":"38aa2ae91d8e1111ee81c6c46427072cba418a68ec03d79f8167f200839ccd6a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k9+CILkRnZ6NUkpn9vcE98KhW/RePHTqC6YR0xXQ9ncwvODHnMj77DefcaZrGudA3ZsWuyyv7pNBb3JvWQaHAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T02:39:11.859280Z","bundle_sha256":"7e5e48e73428f355f62005d04df27b7e1803bb51abc0a9bda1b8859fd969cd96"}}