{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:4JQHYKV2DLZ47QHF7PAQ74V5UI","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":"c431048527d14fd7cf202a04786c315f00f428ac9e95954ded5dcc33c8c812bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-23T22:53:25Z","title_canon_sha256":"e50d44bdcb460cf95141cd19c629bf6ca3c49748eb4d45a340b5b32665d73e29"},"schema_version":"1.0","source":{"id":"1802.08756","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.08756","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"arxiv_version","alias_value":"1802.08756v1","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08756","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"pith_short_12","alias_value":"4JQHYKV2DLZ4","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"4JQHYKV2DLZ47QHF","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"4JQHYKV2","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:f81e66e1e386211428887766df5c66c04de89a128c17db77379cce42c94346c1","target":"graph","created_at":"2026-05-18T00:22:36Z","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":"Notions of guardedness serve to delineate the admissibility of cycles, e.g. in recursion, corecursion, iteration, or tracing. We introduce an abstract notion of guardedness structure on a symmetric monoidal category, along with a corresponding notion of guarded traces, which are defined only if the cycles they induce are guarded. We relate structural guardedness, determined by propagating guardedness along the operations of the category, to geometric guardedness phrased in terms of a diagrammatic language. In our setup, the Cartesian case (recursion) and the co-Cartesian case (iteration) becom","authors_text":"Lutz Schr\\\"oder, Sergey Goncharov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-23T22:53:25Z","title":"Guarded Traced Categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08756","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:6fce080758add56d6c74067769da48435314a320885d0c273d00f07ebbf56752","target":"record","created_at":"2026-05-18T00:22:36Z","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":"c431048527d14fd7cf202a04786c315f00f428ac9e95954ded5dcc33c8c812bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-23T22:53:25Z","title_canon_sha256":"e50d44bdcb460cf95141cd19c629bf6ca3c49748eb4d45a340b5b32665d73e29"},"schema_version":"1.0","source":{"id":"1802.08756","kind":"arxiv","version":1}},"canonical_sha256":"e2607c2aba1af3cfc0e5fbc10ff2bda2179e5b967a524126ab7b2e116b1a24a6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2607c2aba1af3cfc0e5fbc10ff2bda2179e5b967a524126ab7b2e116b1a24a6","first_computed_at":"2026-05-18T00:22:36.580989Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:36.580989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w8z+/c6YlY5l10Uog89jIZYv5Rw2jkEpOjAQ8/WV+HYp40/sR3Uxd9bY0XUE4pJD9otsLuY+DzAWWPPZmT7uCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:36.581675Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.08756","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fce080758add56d6c74067769da48435314a320885d0c273d00f07ebbf56752","sha256:f81e66e1e386211428887766df5c66c04de89a128c17db77379cce42c94346c1"],"state_sha256":"936fad7a3934edbfc8b4881e7bd1931c58188b4503a29783b6ad0a13745056aa"}