{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:R36G34DP7BE7L6Z2XQXEXC6IFP","short_pith_number":"pith:R36G34DP","schema_version":"1.0","canonical_sha256":"8efc6df06ff849f5fb3abc2e4b8bc82bde079bd53db960aeba1436d9ce70a49e","source":{"kind":"arxiv","id":"1812.11222","version":2},"attestation_state":"computed","paper":{"title":"Order-enriched solid functors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Lurdes Sousa, Walter Tholen","submitted_at":"2018-12-28T21:25:59Z","abstract_excerpt":"Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnkov\\'a's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by Anghel. Our focus in this paper is on differentiating the order-enriched notion from the ordinary one, mostly in terms of the functor's behav"},"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":"1812.11222","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-12-28T21:25:59Z","cross_cats_sorted":[],"title_canon_sha256":"de1614911ab788f575c1c10cd6f9addf5018029360936d4f76278c18d5ab41ff","abstract_canon_sha256":"ca9e2fcd49d137a795265774f2c7adfbf9de17a8aca024626479e82af6dbe53c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:39.827514Z","signature_b64":"pPU8S24dyMeN3bUrshA3u3Z/U9LfBpfpZxxpNxVWJrARudNg2uacNRO0kOIn3VnrkaZMAzZtrhM72fUtKH8mBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8efc6df06ff849f5fb3abc2e4b8bc82bde079bd53db960aeba1436d9ce70a49e","last_reissued_at":"2026-05-17T23:49:39.826862Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:39.826862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Order-enriched solid functors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Lurdes Sousa, Walter Tholen","submitted_at":"2018-12-28T21:25:59Z","abstract_excerpt":"Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnkov\\'a's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by Anghel. Our focus in this paper is on differentiating the order-enriched notion from the ordinary one, mostly in terms of the functor's behav"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.11222","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":"1812.11222","created_at":"2026-05-17T23:49:39.826954+00:00"},{"alias_kind":"arxiv_version","alias_value":"1812.11222v2","created_at":"2026-05-17T23:49:39.826954+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.11222","created_at":"2026-05-17T23:49:39.826954+00:00"},{"alias_kind":"pith_short_12","alias_value":"R36G34DP7BE7","created_at":"2026-05-18T12:32:50.500415+00:00"},{"alias_kind":"pith_short_16","alias_value":"R36G34DP7BE7L6Z2","created_at":"2026-05-18T12:32:50.500415+00:00"},{"alias_kind":"pith_short_8","alias_value":"R36G34DP","created_at":"2026-05-18T12:32:50.500415+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/R36G34DP7BE7L6Z2XQXEXC6IFP","json":"https://pith.science/pith/R36G34DP7BE7L6Z2XQXEXC6IFP.json","graph_json":"https://pith.science/api/pith-number/R36G34DP7BE7L6Z2XQXEXC6IFP/graph.json","events_json":"https://pith.science/api/pith-number/R36G34DP7BE7L6Z2XQXEXC6IFP/events.json","paper":"https://pith.science/paper/R36G34DP"},"agent_actions":{"view_html":"https://pith.science/pith/R36G34DP7BE7L6Z2XQXEXC6IFP","download_json":"https://pith.science/pith/R36G34DP7BE7L6Z2XQXEXC6IFP.json","view_paper":"https://pith.science/paper/R36G34DP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1812.11222&json=true","fetch_graph":"https://pith.science/api/pith-number/R36G34DP7BE7L6Z2XQXEXC6IFP/graph.json","fetch_events":"https://pith.science/api/pith-number/R36G34DP7BE7L6Z2XQXEXC6IFP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R36G34DP7BE7L6Z2XQXEXC6IFP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R36G34DP7BE7L6Z2XQXEXC6IFP/action/storage_attestation","attest_author":"https://pith.science/pith/R36G34DP7BE7L6Z2XQXEXC6IFP/action/author_attestation","sign_citation":"https://pith.science/pith/R36G34DP7BE7L6Z2XQXEXC6IFP/action/citation_signature","submit_replication":"https://pith.science/pith/R36G34DP7BE7L6Z2XQXEXC6IFP/action/replication_record"}},"created_at":"2026-05-17T23:49:39.826954+00:00","updated_at":"2026-05-17T23:49:39.826954+00:00"}