{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BBINSNADSSIVT7VW7EGDTFRLYK","short_pith_number":"pith:BBINSNAD","canonical_record":{"source":{"id":"1804.08004","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-04-21T18:14:10Z","cross_cats_sorted":[],"title_canon_sha256":"b03f0f4746629de851bcdc61ce218a5ed5f880ccbdc87c54d118c64cc238ed68","abstract_canon_sha256":"e7c8a0dfe3ed28953cd9d05dacdd2f62edd33ac202568fdbeed8f907f0f918a4"},"schema_version":"1.0"},"canonical_sha256":"0850d93403949159feb6f90c39962bc2bbd4388996a1542fa9b1b06c5818ae38","source":{"kind":"arxiv","id":"1804.08004","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08004","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08004v1","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08004","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"pith_short_12","alias_value":"BBINSNADSSIV","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"BBINSNADSSIVT7VW","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"BBINSNAD","created_at":"2026-05-18T12:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BBINSNADSSIVT7VW7EGDTFRLYK","target":"record","payload":{"canonical_record":{"source":{"id":"1804.08004","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-04-21T18:14:10Z","cross_cats_sorted":[],"title_canon_sha256":"b03f0f4746629de851bcdc61ce218a5ed5f880ccbdc87c54d118c64cc238ed68","abstract_canon_sha256":"e7c8a0dfe3ed28953cd9d05dacdd2f62edd33ac202568fdbeed8f907f0f918a4"},"schema_version":"1.0"},"canonical_sha256":"0850d93403949159feb6f90c39962bc2bbd4388996a1542fa9b1b06c5818ae38","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:49.841439Z","signature_b64":"3b2dEka40jdCU2Mm3hJKZva2FBVV0Kp59q7LZD9FEgQh9SXH2JYtW777u8+66LKOP21sEq+kukooJQFQv/IVBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0850d93403949159feb6f90c39962bc2bbd4388996a1542fa9b1b06c5818ae38","last_reissued_at":"2026-05-18T00:17:49.840898Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:49.840898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.08004","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:17:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PhIuhspvnXL80leuI5dk5viL/jRhrYeKSdxlaGp6sEr5jpiSHIB1NImylwPAQiOhE6Vmh+KaJ+7K5LICeYjLAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:31:18.689742Z"},"content_sha256":"1190b7633836a435c01c0c121812dda4cb4cb37307be961237aef3ee59b38713","schema_version":"1.0","event_id":"sha256:1190b7633836a435c01c0c121812dda4cb4cb37307be961237aef3ee59b38713"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BBINSNADSSIVT7VW7EGDTFRLYK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Profinite topologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Alfredo Costa, Jorge Almeida","submitted_at":"2018-04-21T18:14:10Z","abstract_excerpt":"Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of Boolean algebras of regular languages. The additional structure is given by a compact zero-dimensional topology. Profinite topologies may also be considered on arbitrary abstract semigroups by taking the initial topology for homomorphisms into finite semigroups. This text is the proposed chapter of the Handdbook of Automata Theory dedicated to these topics. T"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08004","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:17:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CIXrPIfwvhYD1HSVRyegPoDdJOhizY5sWfyHXVAGIg+jFBgl2w1i8c/Ila/kzzxz8s9Pu/ZWe6ZvdFOduAJiBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:31:18.690084Z"},"content_sha256":"d9f5f1d58be4b0b42871e62dc1411a7bf836d8f690c80f8489cb237849bc7254","schema_version":"1.0","event_id":"sha256:d9f5f1d58be4b0b42871e62dc1411a7bf836d8f690c80f8489cb237849bc7254"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BBINSNADSSIVT7VW7EGDTFRLYK/bundle.json","state_url":"https://pith.science/pith/BBINSNADSSIVT7VW7EGDTFRLYK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BBINSNADSSIVT7VW7EGDTFRLYK/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-05-31T07:31:18Z","links":{"resolver":"https://pith.science/pith/BBINSNADSSIVT7VW7EGDTFRLYK","bundle":"https://pith.science/pith/BBINSNADSSIVT7VW7EGDTFRLYK/bundle.json","state":"https://pith.science/pith/BBINSNADSSIVT7VW7EGDTFRLYK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BBINSNADSSIVT7VW7EGDTFRLYK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BBINSNADSSIVT7VW7EGDTFRLYK","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":"e7c8a0dfe3ed28953cd9d05dacdd2f62edd33ac202568fdbeed8f907f0f918a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-04-21T18:14:10Z","title_canon_sha256":"b03f0f4746629de851bcdc61ce218a5ed5f880ccbdc87c54d118c64cc238ed68"},"schema_version":"1.0","source":{"id":"1804.08004","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08004","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08004v1","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08004","created_at":"2026-05-18T00:17:49Z"},{"alias_kind":"pith_short_12","alias_value":"BBINSNADSSIV","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"BBINSNADSSIVT7VW","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"BBINSNAD","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:d9f5f1d58be4b0b42871e62dc1411a7bf836d8f690c80f8489cb237849bc7254","target":"graph","created_at":"2026-05-18T00:17:49Z","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":"Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of Boolean algebras of regular languages. The additional structure is given by a compact zero-dimensional topology. Profinite topologies may also be considered on arbitrary abstract semigroups by taking the initial topology for homomorphisms into finite semigroups. This text is the proposed chapter of the Handdbook of Automata Theory dedicated to these topics. T","authors_text":"Alfredo Costa, Jorge Almeida","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-04-21T18:14:10Z","title":"Profinite topologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08004","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:1190b7633836a435c01c0c121812dda4cb4cb37307be961237aef3ee59b38713","target":"record","created_at":"2026-05-18T00:17:49Z","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":"e7c8a0dfe3ed28953cd9d05dacdd2f62edd33ac202568fdbeed8f907f0f918a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-04-21T18:14:10Z","title_canon_sha256":"b03f0f4746629de851bcdc61ce218a5ed5f880ccbdc87c54d118c64cc238ed68"},"schema_version":"1.0","source":{"id":"1804.08004","kind":"arxiv","version":1}},"canonical_sha256":"0850d93403949159feb6f90c39962bc2bbd4388996a1542fa9b1b06c5818ae38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0850d93403949159feb6f90c39962bc2bbd4388996a1542fa9b1b06c5818ae38","first_computed_at":"2026-05-18T00:17:49.840898Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:49.840898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3b2dEka40jdCU2Mm3hJKZva2FBVV0Kp59q7LZD9FEgQh9SXH2JYtW777u8+66LKOP21sEq+kukooJQFQv/IVBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:49.841439Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.08004","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1190b7633836a435c01c0c121812dda4cb4cb37307be961237aef3ee59b38713","sha256:d9f5f1d58be4b0b42871e62dc1411a7bf836d8f690c80f8489cb237849bc7254"],"state_sha256":"d2da6cda278d23098f90e806a39c16854aa14a66fd74cbb57abc6fe01c83a2d6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3xChtFd3eTBcJp/O6KTmueS7T9dJCMc4plYA0baE1eqdjtwz7/0wWW0a/mSKg+9/pkZZuXv1XomVVuat0dK9CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T07:31:18.692187Z","bundle_sha256":"fb8ed1eec439b27c52bf95038b61bf8dc51de48a1d087daeecf8b1ed30c83f4f"}}