{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:CIN2EP3NH276LCNPAI753BNZBM","short_pith_number":"pith:CIN2EP3N","schema_version":"1.0","canonical_sha256":"121ba23f6d3ebfe589af023fdd85b90b2091337711a1dad976abd00c33cd9e1b","source":{"kind":"arxiv","id":"1312.0432","version":1},"attestation_state":"computed","paper":{"title":"Two isomorphism criteria for directed colimits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OA","math.RA"],"primary_cat":"math.CT","authors_text":"Luca Spada, Vincenzo Marra","submitted_at":"2013-12-02T12:09:43Z","abstract_excerpt":"Using the general notions of finitely presentable and finitely generated object introduced by Gabriel and Ulmer in 1971, we prove that, in any (locally small) category, two sequences of finitely presentable objects and morphisms (or two sequences of finitely generated objects and monomorphisms) have isomorphic colimits (=direct limits) if, and only if, they are confluent. The latter means that the two given sequences can be connected by a back-and-forth chain of morphisms that is cofinal on each side, and commutes with the sequences at each finite stage. In several concrete situations, analogo"},"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":"1312.0432","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-12-02T12:09:43Z","cross_cats_sorted":["math.OA","math.RA"],"title_canon_sha256":"9a2d91dcdb4d3a76335cf2c0d33607cecfceb0b8b164c55104735537f6406a11","abstract_canon_sha256":"3a5c705d82073afb252e4c093e2f2e83e364ec26ec9bb746fd01c3d648dbf552"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:05:45.707420Z","signature_b64":"8bY1igmViLW2cFuXyMcmmrADfkteaB2pBuwFNzu+breN/lZ/senwLDY5eAJPf2FsTrVuHvMgs9q8bo+1YE11Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"121ba23f6d3ebfe589af023fdd85b90b2091337711a1dad976abd00c33cd9e1b","last_reissued_at":"2026-05-18T03:05:45.706864Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:05:45.706864Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Two isomorphism criteria for directed colimits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OA","math.RA"],"primary_cat":"math.CT","authors_text":"Luca Spada, Vincenzo Marra","submitted_at":"2013-12-02T12:09:43Z","abstract_excerpt":"Using the general notions of finitely presentable and finitely generated object introduced by Gabriel and Ulmer in 1971, we prove that, in any (locally small) category, two sequences of finitely presentable objects and morphisms (or two sequences of finitely generated objects and monomorphisms) have isomorphic colimits (=direct limits) if, and only if, they are confluent. The latter means that the two given sequences can be connected by a back-and-forth chain of morphisms that is cofinal on each side, and commutes with the sequences at each finite stage. In several concrete situations, analogo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.0432","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":"1312.0432","created_at":"2026-05-18T03:05:45.706953+00:00"},{"alias_kind":"arxiv_version","alias_value":"1312.0432v1","created_at":"2026-05-18T03:05:45.706953+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.0432","created_at":"2026-05-18T03:05:45.706953+00:00"},{"alias_kind":"pith_short_12","alias_value":"CIN2EP3NH276","created_at":"2026-05-18T12:27:40.988391+00:00"},{"alias_kind":"pith_short_16","alias_value":"CIN2EP3NH276LCNP","created_at":"2026-05-18T12:27:40.988391+00:00"},{"alias_kind":"pith_short_8","alias_value":"CIN2EP3N","created_at":"2026-05-18T12:27:40.988391+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/CIN2EP3NH276LCNPAI753BNZBM","json":"https://pith.science/pith/CIN2EP3NH276LCNPAI753BNZBM.json","graph_json":"https://pith.science/api/pith-number/CIN2EP3NH276LCNPAI753BNZBM/graph.json","events_json":"https://pith.science/api/pith-number/CIN2EP3NH276LCNPAI753BNZBM/events.json","paper":"https://pith.science/paper/CIN2EP3N"},"agent_actions":{"view_html":"https://pith.science/pith/CIN2EP3NH276LCNPAI753BNZBM","download_json":"https://pith.science/pith/CIN2EP3NH276LCNPAI753BNZBM.json","view_paper":"https://pith.science/paper/CIN2EP3N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1312.0432&json=true","fetch_graph":"https://pith.science/api/pith-number/CIN2EP3NH276LCNPAI753BNZBM/graph.json","fetch_events":"https://pith.science/api/pith-number/CIN2EP3NH276LCNPAI753BNZBM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CIN2EP3NH276LCNPAI753BNZBM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CIN2EP3NH276LCNPAI753BNZBM/action/storage_attestation","attest_author":"https://pith.science/pith/CIN2EP3NH276LCNPAI753BNZBM/action/author_attestation","sign_citation":"https://pith.science/pith/CIN2EP3NH276LCNPAI753BNZBM/action/citation_signature","submit_replication":"https://pith.science/pith/CIN2EP3NH276LCNPAI753BNZBM/action/replication_record"}},"created_at":"2026-05-18T03:05:45.706953+00:00","updated_at":"2026-05-18T03:05:45.706953+00:00"}