{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:FIPPC23ZUEZMTFICV332F25NS7","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":"780500c03c5e4c7e04069c54a39d174166032cb80a7ae30db57502d447c8abd3","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2012-09-07T01:22:15Z","title_canon_sha256":"02ba63708afc4961a89ad24f4ef212ef828e189f87507abdccdcd605f0372853"},"schema_version":"1.0","source":{"id":"1209.1435","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.1435","created_at":"2026-05-18T03:46:04Z"},{"alias_kind":"arxiv_version","alias_value":"1209.1435v1","created_at":"2026-05-18T03:46:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.1435","created_at":"2026-05-18T03:46:04Z"},{"alias_kind":"pith_short_12","alias_value":"FIPPC23ZUEZM","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"FIPPC23ZUEZMTFIC","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"FIPPC23Z","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:fc3405051d625dcf40000f8f096a5b7c13ed99faf6f5bca06c6688f13557eeea","target":"graph","created_at":"2026-05-18T03:46:04Z","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":"Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is expressed in terms of properties of the pullback functor associated with the cocone. Even in the case of non-exactness, researchers in model semantics and rewriting theory inquire an elementary characterization of the image of this functor. In this paper we will investigate this question in the special case where the cocone is a cospan, i.e. part of a Van Kampen square. The use of Descent Data as the dominant categor","authors_text":"Harald K\\\"onig, Michael L\\\"owe, Uwe Wolter","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2012-09-07T01:22:15Z","title":"Characterizing Van Kampen Squares via Descent Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.1435","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:55895c5e31e804f525668bbf0e2107a02631288282c051235400de08bb69ad13","target":"record","created_at":"2026-05-18T03:46:04Z","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":"780500c03c5e4c7e04069c54a39d174166032cb80a7ae30db57502d447c8abd3","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2012-09-07T01:22:15Z","title_canon_sha256":"02ba63708afc4961a89ad24f4ef212ef828e189f87507abdccdcd605f0372853"},"schema_version":"1.0","source":{"id":"1209.1435","kind":"arxiv","version":1}},"canonical_sha256":"2a1ef16b79a132c99502aef7a2ebad97de86ff92083f50559fad15b5f5a57234","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a1ef16b79a132c99502aef7a2ebad97de86ff92083f50559fad15b5f5a57234","first_computed_at":"2026-05-18T03:46:04.830303Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:46:04.830303Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/D0R8t55Q7FQfkBhspx/YtFAFuL+P/7j0ZZvGJ76IczYczHSNU9sKNaVhg8U1dheQeHC1aPuLOnOAm0KMybkAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:46:04.830958Z","signed_message":"canonical_sha256_bytes"},"source_id":"1209.1435","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55895c5e31e804f525668bbf0e2107a02631288282c051235400de08bb69ad13","sha256:fc3405051d625dcf40000f8f096a5b7c13ed99faf6f5bca06c6688f13557eeea"],"state_sha256":"06413a1d9b9c529818aeadbb5076d663e6ae5756839e1377ef499a15ae0e0075"}