{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:Z7HRWAO72J4XMHX2DDYDMPILGX","short_pith_number":"pith:Z7HRWAO7","schema_version":"1.0","canonical_sha256":"cfcf1b01dfd279761efa18f0363d0b35dfb4fa2f68c4ca8d37647955b2310079","source":{"kind":"arxiv","id":"1210.7514","version":1},"attestation_state":"computed","paper":{"title":"Generalized Plonka Sums and Products","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Marek Zawadowski","submitted_at":"2012-10-28T21:29:37Z","abstract_excerpt":"We give an abstract categorical treatment of Plonka sums and products using lax and oplax morphisms of monads. Plonka sums were originally defined as operations on algebras of regular theories. Their arities are sup-semilattices. It turns out that even more general operations are available on the categories of algebras of semi-analytic monads. Their arities are the categories of the regular polynomials over any sup-semilattice, i.e. any algebra for the terminal semi-analytic monad. We also show that similar operations can be defined on any category of algebras of any analytic monad. This time "},"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":"1210.7514","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-10-28T21:29:37Z","cross_cats_sorted":[],"title_canon_sha256":"06d3c95af6f479983b99257d54e0402aad0d01a7a91f9117e35a76cc80b04658","abstract_canon_sha256":"a69422f52cf90eeaddf9570363229a90ab64cde5793b93f68cbea3a5eca3bbc4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:42:09.710736Z","signature_b64":"gZeO+mzdH8PHIUJAl7XC4SOFh9i35vcXbzzUA9qo6vVkjDzZXphxwcjfQlg1ymsVH8iz5wPYDOj4WHKmBEEFBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cfcf1b01dfd279761efa18f0363d0b35dfb4fa2f68c4ca8d37647955b2310079","last_reissued_at":"2026-05-18T03:42:09.709839Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:42:09.709839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Generalized Plonka Sums and Products","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Marek Zawadowski","submitted_at":"2012-10-28T21:29:37Z","abstract_excerpt":"We give an abstract categorical treatment of Plonka sums and products using lax and oplax morphisms of monads. Plonka sums were originally defined as operations on algebras of regular theories. Their arities are sup-semilattices. It turns out that even more general operations are available on the categories of algebras of semi-analytic monads. Their arities are the categories of the regular polynomials over any sup-semilattice, i.e. any algebra for the terminal semi-analytic monad. We also show that similar operations can be defined on any category of algebras of any analytic monad. This time "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.7514","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1210.7514","created_at":"2026-05-18T03:42:09.709993+00:00"},{"alias_kind":"arxiv_version","alias_value":"1210.7514v1","created_at":"2026-05-18T03:42:09.709993+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.7514","created_at":"2026-05-18T03:42:09.709993+00:00"},{"alias_kind":"pith_short_12","alias_value":"Z7HRWAO72J4X","created_at":"2026-05-18T12:27:30.460161+00:00"},{"alias_kind":"pith_short_16","alias_value":"Z7HRWAO72J4XMHX2","created_at":"2026-05-18T12:27:30.460161+00:00"},{"alias_kind":"pith_short_8","alias_value":"Z7HRWAO7","created_at":"2026-05-18T12:27:30.460161+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/Z7HRWAO72J4XMHX2DDYDMPILGX","json":"https://pith.science/pith/Z7HRWAO72J4XMHX2DDYDMPILGX.json","graph_json":"https://pith.science/api/pith-number/Z7HRWAO72J4XMHX2DDYDMPILGX/graph.json","events_json":"https://pith.science/api/pith-number/Z7HRWAO72J4XMHX2DDYDMPILGX/events.json","paper":"https://pith.science/paper/Z7HRWAO7"},"agent_actions":{"view_html":"https://pith.science/pith/Z7HRWAO72J4XMHX2DDYDMPILGX","download_json":"https://pith.science/pith/Z7HRWAO72J4XMHX2DDYDMPILGX.json","view_paper":"https://pith.science/paper/Z7HRWAO7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1210.7514&json=true","fetch_graph":"https://pith.science/api/pith-number/Z7HRWAO72J4XMHX2DDYDMPILGX/graph.json","fetch_events":"https://pith.science/api/pith-number/Z7HRWAO72J4XMHX2DDYDMPILGX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Z7HRWAO72J4XMHX2DDYDMPILGX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Z7HRWAO72J4XMHX2DDYDMPILGX/action/storage_attestation","attest_author":"https://pith.science/pith/Z7HRWAO72J4XMHX2DDYDMPILGX/action/author_attestation","sign_citation":"https://pith.science/pith/Z7HRWAO72J4XMHX2DDYDMPILGX/action/citation_signature","submit_replication":"https://pith.science/pith/Z7HRWAO72J4XMHX2DDYDMPILGX/action/replication_record"}},"created_at":"2026-05-18T03:42:09.709993+00:00","updated_at":"2026-05-18T03:42:09.709993+00:00"}