{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:5BVSGZ4GOINUDF4EIXESNL4YB5","short_pith_number":"pith:5BVSGZ4G","schema_version":"1.0","canonical_sha256":"e86b236786721b41978445c926af980f63c8fbfb265ddf589e0daad686aafcbd","source":{"kind":"arxiv","id":"2112.11145","version":1},"attestation_state":"computed","paper":{"title":"Fibre optics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Bruno Gavranovi\\'c, Dylan Braithwaite, Eigil Fjeldgren Rischel, Jules Hedges, Matteo Capucci","submitted_at":"2021-12-21T12:25:32Z","abstract_excerpt":"Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied category theory as models of bidirectional processes. From the definition of lenses over a finite product category, optics weaken the required structure to actions of monoidal categories, and dependent lenses make use of the additional property of finite completeness (or, in case of polynomials, even local cartesian closure). This has caused a split in the applied category theory literature between those using optics and th"},"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":"2112.11145","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-12-21T12:25:32Z","cross_cats_sorted":[],"title_canon_sha256":"a7c2cc82fac8ea79679f4b3e237c2111a03082cbbbe978cfac997d0a13069bc3","abstract_canon_sha256":"faec0b67312821598f9b63c721fa26a716b85819ab7ede4bf004bc7eeffb880b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:42:29.552367Z","signature_b64":"j1J9S3zVWdXONb2bDvPxNfOBhYFDSmCh8TevmGsepFHZO6AF4SbH4iv9aBhHeGhQYS+wIwJoPgocvnVIzOeyAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e86b236786721b41978445c926af980f63c8fbfb265ddf589e0daad686aafcbd","last_reissued_at":"2026-07-05T03:42:29.551984Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:42:29.551984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Fibre optics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Bruno Gavranovi\\'c, Dylan Braithwaite, Eigil Fjeldgren Rischel, Jules Hedges, Matteo Capucci","submitted_at":"2021-12-21T12:25:32Z","abstract_excerpt":"Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied category theory as models of bidirectional processes. From the definition of lenses over a finite product category, optics weaken the required structure to actions of monoidal categories, and dependent lenses make use of the additional property of finite completeness (or, in case of polynomials, even local cartesian closure). This has caused a split in the applied category theory literature between those using optics and th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.11145","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/2112.11145/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":"2112.11145","created_at":"2026-07-05T03:42:29.552044+00:00"},{"alias_kind":"arxiv_version","alias_value":"2112.11145v1","created_at":"2026-07-05T03:42:29.552044+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.11145","created_at":"2026-07-05T03:42:29.552044+00:00"},{"alias_kind":"pith_short_12","alias_value":"5BVSGZ4GOINU","created_at":"2026-07-05T03:42:29.552044+00:00"},{"alias_kind":"pith_short_16","alias_value":"5BVSGZ4GOINUDF4E","created_at":"2026-07-05T03:42:29.552044+00:00"},{"alias_kind":"pith_short_8","alias_value":"5BVSGZ4G","created_at":"2026-07-05T03:42:29.552044+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2607.25706","citing_title":"Categories of tagged lenses","ref_index":6,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5","json":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5.json","graph_json":"https://pith.science/api/pith-number/5BVSGZ4GOINUDF4EIXESNL4YB5/graph.json","events_json":"https://pith.science/api/pith-number/5BVSGZ4GOINUDF4EIXESNL4YB5/events.json","paper":"https://pith.science/paper/5BVSGZ4G"},"agent_actions":{"view_html":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5","download_json":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5.json","view_paper":"https://pith.science/paper/5BVSGZ4G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2112.11145&json=true","fetch_graph":"https://pith.science/api/pith-number/5BVSGZ4GOINUDF4EIXESNL4YB5/graph.json","fetch_events":"https://pith.science/api/pith-number/5BVSGZ4GOINUDF4EIXESNL4YB5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/action/storage_attestation","attest_author":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/action/author_attestation","sign_citation":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/action/citation_signature","submit_replication":"https://pith.science/pith/5BVSGZ4GOINUDF4EIXESNL4YB5/action/replication_record"}},"created_at":"2026-07-05T03:42:29.552044+00:00","updated_at":"2026-07-05T03:42:29.552044+00:00"}