{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:BWR7AREMYO734K6RHJB2YQRICU","short_pith_number":"pith:BWR7AREM","schema_version":"1.0","canonical_sha256":"0da3f0448cc3bfbe2bd13a43ac4228152edf9920e712f08a692730085bf58fa7","source":{"kind":"arxiv","id":"2003.06214","version":1},"attestation_state":"computed","paper":{"title":"Comb Diagrams for Discrete-Time Feedback","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Mario Rom\\'an","submitted_at":"2020-03-13T12:03:04Z","abstract_excerpt":"The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing \"holes\" or \"incomplete parts\", sometimes known as comb diagrams. We give a possible formalization of what these circuits with incomplete parts represent in terms of symmetric monoidal categories, using the dinaturality equivalence relations arising from a coend. Our main idea is to extend this formal description to allow for infinite circuits with holes indexed by the natural numbers. We show how infinite combs over an arbitra"},"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":"2003.06214","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-03-13T12:03:04Z","cross_cats_sorted":[],"title_canon_sha256":"d3b8735e635e6017595a223e87ba30bbb77043422aa57426c97e2f4d7e92580d","abstract_canon_sha256":"2bc5151b4e61acc3e16182b0f8afd1c970257a282667ae414ce345dc40131fcc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:47:44.714121Z","signature_b64":"ghhIYlIca9LXDtJfMasW+ubH1ZnOEp2YKEDoufSP8XTCcZZTqArKSoo97crEs/VMIdPKOQiQWfLqwLw4iQZsBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0da3f0448cc3bfbe2bd13a43ac4228152edf9920e712f08a692730085bf58fa7","last_reissued_at":"2026-07-05T00:47:44.713744Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:47:44.713744Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Comb Diagrams for Discrete-Time Feedback","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Mario Rom\\'an","submitted_at":"2020-03-13T12:03:04Z","abstract_excerpt":"The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing \"holes\" or \"incomplete parts\", sometimes known as comb diagrams. We give a possible formalization of what these circuits with incomplete parts represent in terms of symmetric monoidal categories, using the dinaturality equivalence relations arising from a coend. Our main idea is to extend this formal description to allow for infinite circuits with holes indexed by the natural numbers. We show how infinite combs over an arbitra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2003.06214","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2003.06214/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2003.06214","created_at":"2026-07-05T00:47:44.713803+00:00"},{"alias_kind":"arxiv_version","alias_value":"2003.06214v1","created_at":"2026-07-05T00:47:44.713803+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2003.06214","created_at":"2026-07-05T00:47:44.713803+00:00"},{"alias_kind":"pith_short_12","alias_value":"BWR7AREMYO73","created_at":"2026-07-05T00:47:44.713803+00:00"},{"alias_kind":"pith_short_16","alias_value":"BWR7AREMYO734K6R","created_at":"2026-07-05T00:47:44.713803+00:00"},{"alias_kind":"pith_short_8","alias_value":"BWR7AREM","created_at":"2026-07-05T00:47:44.713803+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2207.09180","citing_title":"Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension","ref_index":17,"is_internal_anchor":false},{"citing_arxiv_id":"2602.23865","citing_title":"Supermaps on generalised theories","ref_index":57,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU","json":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU.json","graph_json":"https://pith.science/api/pith-number/BWR7AREMYO734K6RHJB2YQRICU/graph.json","events_json":"https://pith.science/api/pith-number/BWR7AREMYO734K6RHJB2YQRICU/events.json","paper":"https://pith.science/paper/BWR7AREM"},"agent_actions":{"view_html":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU","download_json":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU.json","view_paper":"https://pith.science/paper/BWR7AREM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2003.06214&json=true","fetch_graph":"https://pith.science/api/pith-number/BWR7AREMYO734K6RHJB2YQRICU/graph.json","fetch_events":"https://pith.science/api/pith-number/BWR7AREMYO734K6RHJB2YQRICU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU/action/storage_attestation","attest_author":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU/action/author_attestation","sign_citation":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU/action/citation_signature","submit_replication":"https://pith.science/pith/BWR7AREMYO734K6RHJB2YQRICU/action/replication_record"}},"created_at":"2026-07-05T00:47:44.713803+00:00","updated_at":"2026-07-05T00:47:44.713803+00:00"}