{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:HVOX7H7KDY6GKXDEGEOBBM5PNO","short_pith_number":"pith:HVOX7H7K","schema_version":"1.0","canonical_sha256":"3d5d7f9fea1e3c655c64311c10b3af6b99f441462584eaffbe187a2f36e1737a","source":{"kind":"arxiv","id":"1501.02190","version":2},"attestation_state":"computed","paper":{"title":"Equational axioms associated with finite automata for fixed point operations in cartesian categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Zoltan Esik","submitted_at":"2015-01-09T16:19:37Z","abstract_excerpt":"The axioms of iteration theories, or iteration categories, capture the equational properties of fixed point operations in several computationally significant categories. Iteration categories may be axiomatized by the Conway identities and identities associated with finite automata. We show that in conjunction with the Conway identities, each identity associated with a finite automaton implies the identity associated with any input extension of the automaton. We conclude that the Conway identities and the identities associated with the members of a subclass $\\cQ$ of finite automata is complete "},"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":"1501.02190","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-01-09T16:19:37Z","cross_cats_sorted":[],"title_canon_sha256":"4bc85aaba07ac85e81a74e1c9a4bbe6a004c61f9bac614fbdd6fd1587b2d58e9","abstract_canon_sha256":"36688360faed848dcc640996b0eadee87336e5a457adc58e6b2c1d284bfc0165"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:18:51.397052Z","signature_b64":"wiX05Jgbj7BwAPcvlQp5rt+25JWEvWrdnP2SI9BKF3DOXx66+7C5hQsEmHGsC8KDwlDACFpHkng7E4X7xuDkCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3d5d7f9fea1e3c655c64311c10b3af6b99f441462584eaffbe187a2f36e1737a","last_reissued_at":"2026-05-18T02:18:51.396497Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:18:51.396497Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Equational axioms associated with finite automata for fixed point operations in cartesian categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Zoltan Esik","submitted_at":"2015-01-09T16:19:37Z","abstract_excerpt":"The axioms of iteration theories, or iteration categories, capture the equational properties of fixed point operations in several computationally significant categories. Iteration categories may be axiomatized by the Conway identities and identities associated with finite automata. We show that in conjunction with the Conway identities, each identity associated with a finite automaton implies the identity associated with any input extension of the automaton. We conclude that the Conway identities and the identities associated with the members of a subclass $\\cQ$ of finite automata is complete "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.02190","kind":"arxiv","version":2},"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":"1501.02190","created_at":"2026-05-18T02:18:51.396594+00:00"},{"alias_kind":"arxiv_version","alias_value":"1501.02190v2","created_at":"2026-05-18T02:18:51.396594+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.02190","created_at":"2026-05-18T02:18:51.396594+00:00"},{"alias_kind":"pith_short_12","alias_value":"HVOX7H7KDY6G","created_at":"2026-05-18T12:29:25.134429+00:00"},{"alias_kind":"pith_short_16","alias_value":"HVOX7H7KDY6GKXDE","created_at":"2026-05-18T12:29:25.134429+00:00"},{"alias_kind":"pith_short_8","alias_value":"HVOX7H7K","created_at":"2026-05-18T12:29:25.134429+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/HVOX7H7KDY6GKXDEGEOBBM5PNO","json":"https://pith.science/pith/HVOX7H7KDY6GKXDEGEOBBM5PNO.json","graph_json":"https://pith.science/api/pith-number/HVOX7H7KDY6GKXDEGEOBBM5PNO/graph.json","events_json":"https://pith.science/api/pith-number/HVOX7H7KDY6GKXDEGEOBBM5PNO/events.json","paper":"https://pith.science/paper/HVOX7H7K"},"agent_actions":{"view_html":"https://pith.science/pith/HVOX7H7KDY6GKXDEGEOBBM5PNO","download_json":"https://pith.science/pith/HVOX7H7KDY6GKXDEGEOBBM5PNO.json","view_paper":"https://pith.science/paper/HVOX7H7K","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1501.02190&json=true","fetch_graph":"https://pith.science/api/pith-number/HVOX7H7KDY6GKXDEGEOBBM5PNO/graph.json","fetch_events":"https://pith.science/api/pith-number/HVOX7H7KDY6GKXDEGEOBBM5PNO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HVOX7H7KDY6GKXDEGEOBBM5PNO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HVOX7H7KDY6GKXDEGEOBBM5PNO/action/storage_attestation","attest_author":"https://pith.science/pith/HVOX7H7KDY6GKXDEGEOBBM5PNO/action/author_attestation","sign_citation":"https://pith.science/pith/HVOX7H7KDY6GKXDEGEOBBM5PNO/action/citation_signature","submit_replication":"https://pith.science/pith/HVOX7H7KDY6GKXDEGEOBBM5PNO/action/replication_record"}},"created_at":"2026-05-18T02:18:51.396594+00:00","updated_at":"2026-05-18T02:18:51.396594+00:00"}