{"as_of":"2026-08-12T04:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:91fa58235ba4f315e13d3b23c665d8bf71e0681be649618751ddb9b9f5462b4e","coverage":[{"denominator":57,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":57,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T15:16:15.392205Z","state":"measured"},{"denominator":58,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":58,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T20:27:37.216535Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-10T20:27:38.005434Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"cited_work":{"arxiv_id":"2412.11295","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.11295","snapshot_observed_at":"2026-08-10T20:27:38.005434Z","title":"The Relational Quotient Completion","venue":"math.CT","work_id":"83cafd70-f8e6-4cbf-af10-403d7574f3ae","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-11T20:26:44.342983Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.216535Z"},"links":{"cited_paper":"/paper/2412.11295","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:647e6388b025debb937b197a770366532de346cc33e88d6cd0ef4ffa8de285d1","observation_id":"24d59615-cec4-429c-b711-b1b20fc28835","resolution":{"observed_at":"2026-08-10T20:27:38.010206Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.11295/citation-record","integrity":"/paper/2412.11295/integrity","json":"/paper/2412.11295/citation-record.json","paper":"/paper/2412.11295"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0956796802004501","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.831595Z","title":"Barthe, V","venue":null,"work_id":"d1cf8701-54d4-4c8a-995a-12ffb72d9b6c","year":2003},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:14.923186Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:b118ad71625bb535044991ade02a0e75011f3214a14c541504637fecea485fb5","observation_id":"2a3b37c9-2cbf-4ceb-b8a3-10ecbcac2ea8","resolution":{"observed_at":"2026-08-11T15:16:15.838421Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:17.080903Z","title":"Hofmann, Extensional constructs in intensional type theor y, CPHC/BCS Distinguished Dissertations, Springer-Verlag London Lt d., London, 1997","venue":null,"work_id":"fdd974b9-84fe-49e5-9b42-659098e678b4","year":1997},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:14.936074Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:47fe5bd60459521bf0de99f12788b2a6d00ec11db29bba52eea35088e8421ebf","observation_id":"bc6f3007-4587-423d-a6e1-49f5d0dd145c","resolution":{"observed_at":"2026-08-11T15:16:17.087586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:17.063528Z","title":"Carboni, R","venue":null,"work_id":"ae5c65c5-344c-4dba-a1d0-e52bf86653a6","year":1982},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:14.947488Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:7bc6ed31bf7440b0a654568ef1f82fba0408c7c0deddf44e66a88ab53ad7521c","observation_id":"d6a68dd9-ec5e-47a6-b887-c4e216196c51","resolution":{"observed_at":"2026-08-11T15:16:17.070020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:17.051273Z","title":"Carboni, E","venue":null,"work_id":"ad2106dc-685e-42e9-af32-c5873d0f0d42","year":1998},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:14.958268Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:839c3001d1ee92673e98b8eb25c2db739d6a0eaae8bfbf005a799d0b999f8119","observation_id":"a286a106-8434-46e2-9608-4492c1256287","resolution":{"observed_at":"2026-08-11T15:16:17.055000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:14.969172Z","title":"Maietti, G","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:14.969172Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:0039e709b03d1d34e0b3a8b2aef95ae583ced1b82bcdfca8c56e558a0e56c9d5","observation_id":"b116c96f-a6f6-4f17-8b94-ffa098dbd1c7","resolution":{"observed_at":"2026-08-11T15:16:14.969172Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:17.037084Z","title":null,"venue":null,"work_id":"9d8e008d-97e2-4672-817c-b67ce633b395","year":2013},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:14.977061Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:0554d02029a0dba67978c5403e34ba89f1c595621b0cfb754e646f6ac12c299f","observation_id":"8da95b08-b26b-494a-b4b0-3fdc18ca5dfa","resolution":{"observed_at":"2026-08-11T15:16:17.041334Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:17.021710Z","title":null,"venue":null,"work_id":"0376c8d1-a20b-4307-afc4-7a3a750c8206","year":1973},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:14.985633Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:3c2a369bdb8f288e96625c7a02a0726d46c80732c57a893040656769dae39215","observation_id":"49396178-a659-4293-8be2-0a42e223b396","resolution":{"observed_at":"2026-08-11T15:16:17.026860Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:14.995687Z","title":"Ad´ amek, Varieties of quantitative algebras and their monads , in: C","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:14.995687Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:95b1eb2cb6a6d77dab51f3c413da40d329e20bd515fb38ad73da8aab1e265970","observation_id":"bf057ec3-f886-4052-8659-12beebf41a75","resolution":{"observed_at":"2026-08-11T15:16:14.995687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.000290Z","title":"Mardare, P","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.000290Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:61ed1c0c48bc229e9fd8f50859b034656ae8d038345ea46a920cdfb6db5fcd63","observation_id":"8a9b61c2-7113-4f53-979e-38af6f9da32f","resolution":{"observed_at":"2026-08-11T15:16:15.000290Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.006588Z","title":"Mardare, P","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.006588Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:89f4eccdf8cf2afed069a6845d13f556889eef5361b7f9d7af998de5cb9f31a5","observation_id":"73bba253-8063-4a7a-ae06-43c3fc33541e","resolution":{"observed_at":"2026-08-11T15:16:15.006588Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8361.1969","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.261074Z","title":null,"venue":null,"work_id":"bb2b34b0-907a-42b1-99de-98514d844e25","year":2006},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.013327Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:9fcd5d2d265dd3476b31baa4016d4190533db7831570b998a479b417ab00b5bf","observation_id":"5cee435a-c60e-411d-8374-4eeacaea6e36","resolution":{"observed_at":"2026-08-11T15:16:16.272350Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:17.004971Z","title":null,"venue":null,"work_id":"4c64e81b-d464-4022-ab0d-7c73d87e916b","year":1970},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.021582Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:c8c0acb74900357ffe1c975d3469f7ab295cd2a4a17c6d2865ea1cf70b1f25fe","observation_id":"b2d3be6b-015b-4b08-88c4-913d755da6b4","resolution":{"observed_at":"2026-08-11T15:16:17.009918Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.990712Z","title":null,"venue":null,"work_id":"bba6edc9-45c8-4822-b673-8993c8b7f8b5","year":2001},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.028494Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:c7d73547edb22965c47a82a2c0c64aad60a1640ec2965abc8c40656779affe73","observation_id":"fcc31dd3-0861-4431-b9da-119497d4ec86","resolution":{"observed_at":"2026-08-11T15:16:16.996040Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.976947Z","title":null,"venue":null,"work_id":"a0f5c3d7-5cfe-4a35-9bfe-fcbbc65ead7b","year":2000},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.033739Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:3edf6944cd710dcf8bdb7ef5151c48032fe2bd3a7cbb0951f0fc8e2b17244c2e","observation_id":"47934e40-f949-4295-bc34-4be94ba12589","resolution":{"observed_at":"2026-08-11T15:16:16.981236Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.962439Z","title":"van Oosten, Realizability: An Introduction to its Categorical Side, Vol","venue":null,"work_id":"6c31ab66-a10a-4f8f-912c-177bcbdb7d9a","year":2008},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.041906Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:ee665ce05b024a186691671c08dc4045104f8f35b521913438fe43b7eaf1e2f6","observation_id":"13d6bf3e-e133-4d1c-afa2-cfa0155aa27b","resolution":{"observed_at":"2026-08-11T15:16:16.967651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.060020Z","title":"Dagnino, F","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.060020Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:1e0771a3ccfb037f1080611e66bd01937dab7a36541faf08a87394b6e16bba74","observation_id":"44b6ccab-d152-438c-8bfc-2897f74655be","resolution":{"observed_at":"2026-08-11T15:16:15.060020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.949085Z","title":"Andr´ eka, S","venue":null,"work_id":"4c226afd-61e4-4bea-8918-74846a2bec1b","year":2017},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.077146Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:84ef918a627bd4a994985152cb56733a3d86cc95d185ed2e69fefda184facf01","observation_id":"235b8b13-339b-41f2-a9f4-a942af3c043a","resolution":{"observed_at":"2026-08-11T15:16:16.953102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.937399Z","title":null,"venue":null,"work_id":"07aa5788-2f97-4515-9b17-9935866ed55f","year":null},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.089501Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:a583cfff559ff4fd7ee8f5778c0f53ee5b1fb987883fdc83bb541d8d335ec752","observation_id":"5792fdac-67cd-49da-ad80-e929f1df14a7","resolution":{"observed_at":"2026-08-11T15:16:16.941307Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.098412Z","title":"Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (3) (1941) 73–89","venue":null,"work_id":null,"year":1941},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.098412Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:6e4a0d59811ea44301064389f38c91fc0bb1897ab1336c9ca998c34fc26378b8","observation_id":"ea5dc836-04cc-4b69-ad30-aaf1a27819c9","resolution":{"observed_at":"2026-08-11T15:16:15.098412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-006-9062-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.786572Z","title":"Givant, The calculus of relations as a foundation for mathema tics, Journal of Automated Reasoning 37 (4) (2006) 277–322","venue":null,"work_id":"bd2ff96d-69ec-423f-bc9d-6ac81fbbc61a","year":2006},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.112347Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:8ab769240984f1cbd41b971109c98ae01e4c44dc6d83f3982d2474f90887d1cb","observation_id":"c0bbddd0-11df-4a0a-a954-8826b9cae67b","resolution":{"observed_at":"2026-08-11T15:16:15.791812Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.925329Z","title":"Tarski, S","venue":null,"work_id":"661f788d-6c97-49bc-97e8-2e83f175e24d","year":1988},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.125630Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:52be4242cdee6c8402e0be3b3b445eb0e12800aa584a626c34641c6c06d23570","observation_id":"52afce0e-e188-47b7-b1b1-d92b279faaa5","resolution":{"observed_at":"2026-08-11T15:16:16.929083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.135291Z","title":"Dal Lago, F","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.135291Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:2e14909d5a04631896e4b8969625347c3a7f28a310c02b88901fb66293ff3e7f","observation_id":"9fd2c3ad-474e-4956-beba-37e9dfc6557a","resolution":{"observed_at":"2026-08-11T15:16:15.135291Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.146461Z","title":"Gavazzo, Quantitative behavioural reasoning for higher-o rder ef- fectful programs: Applicative distances, in: A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.146461Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:06c3b5e4d68171ff3cb5f8361db8e85265454f96cc650e02386ca12940a2a25c","observation_id":"9c5d9107-e37d-4fb2-94b8-d5da5e8374ac","resolution":{"observed_at":"2026-08-11T15:16:15.146461Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.913925Z","title":"Gavazzo, C","venue":null,"work_id":"fb93ff4b-1ea7-45cb-abc2-a07d59e22581","year":2023},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.154156Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:16a6fa9d0c402ed9d1d84566e48e5cf147671ce5882e5e4e3fd26758f5112b6a","observation_id":"2e178a28-3e92-4897-b294-6a2bbfaca416","resolution":{"observed_at":"2026-08-11T15:16:16.917507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.160790Z","title":"Lack, A 2-Categories Companion, Springer New York, New Yo rk, NY, 2010, pp","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.160790Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:b623034b3176d18dce18d221f83b601d0aea44e0b76896a3cfa388cbdaf1f366","observation_id":"14e7da27-7eb9-4793-bb22-fd06f87c2184","resolution":{"observed_at":"2026-08-11T15:16:15.160790Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlamp.2015.08.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.734847Z","title":null,"venue":null,"work_id":"d324ffad-6a06-4d6b-8e95-d48ac20e3466","year":2016},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.167755Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:afd51b3402bec53ff7194911d5b0f7ddce410d444905da37ad7f3a38bafa37f7","observation_id":"87a8be7d-7a23-417e-99e4-b932ce2072b4","resolution":{"observed_at":"2026-08-11T15:16:15.744723Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.901693Z","title":"Betti, J","venue":null,"work_id":"0f50bd38-dbf6-41f8-8b1c-0cc5fdbfe756","year":1988},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.174954Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:5b77b14951ffe26455f6041702c8f340528da527966e2121857251e7a5d75d6c","observation_id":"9ed3057a-281d-4fb0-91ac-2ad82239119f","resolution":{"observed_at":"2026-08-11T15:16:16.905970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.181924Z","title":"Blackwell, G","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.181924Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:c03c12e0ab2a6f854316ba1cfbecb682209d07448d41b9716adf87d3f316d308","observation_id":"7a8f0626-dff4-48f6-b8d1-27d81230bfc1","resolution":{"observed_at":"2026-08-11T15:16:15.181924Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.189509Z","title":"Kock, Monads for which structures are adjoint to units, Journal of Pure and Applied Algebra 104 (1995) 41–59","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.189509Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:65ffe9e3e75678ba3eb90a3e9da4f405af6641f6dce0594b9fdee3cbe5ca68db","observation_id":"e4db2241-03f4-43bf-8f7c-470552c35744","resolution":{"observed_at":"2026-08-11T15:16:15.189509Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.886752Z","title":null,"venue":null,"work_id":"1e6d18f7-3686-42b2-8ce3-430db6214d56","year":1997},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.194681Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:44ec4a1d70a0b86bc96151b0a24a2c1e2f01eccc2967b7ae01c98cc3b4d47e90","observation_id":"570f16a3-9947-4b9c-94c6-d880bb11e6b0","resolution":{"observed_at":"2026-08-11T15:16:16.892555Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.199854Z","title":"Street, The formal theory of monads, Journal of Pure an d Applied Algebra 2 (2) (1972) 149 – 168","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.199854Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:2f397a1f2640783e40fa944a12c03e9630d8b73db3692adef16c025a9b06f34b","observation_id":"50fe85a7-241f-4390-9abe-4888a4c84ad5","resolution":{"observed_at":"2026-08-11T15:16:15.199854Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.753324Z","title":null,"venue":null,"work_id":"9dcd1986-4fda-47d9-9af2-4d29600b9a3e","year":1994},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.206949Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:17dba2fd34c0148ff7c577901d15ba48d7bdd1b0a3e437bed89ebe292753653e","observation_id":"061fe583-b296-4b6a-a3d8-62d9be949f25","resolution":{"observed_at":"2026-08-11T15:16:16.874956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0022-4049(98)00115-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.659630Z","title":"Lambek, Diagram chasing in ordered categories with involu- tion, Journal of Pure and Applied Algebra 143 (1) (1999) 293–307","venue":null,"work_id":"c3414c77-6f8f-45c0-9a9e-5f22480746de","year":1999},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.211618Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:7b0e18410011642c64016eea8b593894b510d00df7bb206dfe369022810efb84","observation_id":"432e9b6c-ab50-4206-ab67-142d85df7515","resolution":{"observed_at":"2026-08-11T15:16:15.668488Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.222307Z","title":"Dagnino, F","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.222307Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:2df6de2d3ba87207271329faa51892714d0b8e0cda3075d320d1f44c7f45a26a","observation_id":"228ebca1-17cf-4cc2-8352-c17d1cebe110","resolution":{"observed_at":"2026-08-11T15:16:15.222307Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.733631Z","title":"Shulman, Framed bicategories and monoidal ﬁbrations, Theo ry and Applications of Categories 20 (18) (2008) 650–738","venue":null,"work_id":"c2e125a7-aa58-4680-a550-eeddcd927cd3","year":2008},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.228872Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:4bcb12b0899872cb4c55483e11f098cf3eb03ca47403af10bfcc98eac27e057e","observation_id":"c0f208dc-62d4-4d83-9576-6ced38cc801a","resolution":{"observed_at":"2026-08-11T15:16:16.739880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.715888Z","title":"Lambert, Double categories of relations, Theory and Applica tions of Categories 38 (33) (2022) 1249–1283","venue":null,"work_id":"b0d65af7-b89b-4fb3-8a54-bda09aff07d0","year":2022},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.234477Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:372651dc25ff8c17f5f8be4f362c8c808d6ecaaf8b61a9e0cc378c20d3406c08","observation_id":"91063db7-39aa-4c39-9cbd-3b159bd69276","resolution":{"observed_at":"2026-08-11T15:16:16.723074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.700828Z","title":"Hofmann, G","venue":null,"work_id":"9f69bcb8-150b-45fa-8cbc-06583be26995","year":2014},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.240563Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:4c45d8aefb4ba85be931080114594d8d72b132043e2c8fa1aef758f13a0c817f","observation_id":"ca074529-e3b2-4d40-afd5-b0aab4b4435d","resolution":{"observed_at":"2026-08-11T15:16:16.705941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.2013.36","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.604894Z","title":"Laird, G","venue":null,"work_id":"a3e127ff-262b-42d2-822b-d20581cc7df8","year":2013},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.249790Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:909557352e245678bd4beb950ab8b5f396f7dc93d891318fed825b0a0a953ec4","observation_id":"6e92b69c-ac10-40ec-a685-23f7a99a2f30","resolution":{"observed_at":"2026-08-11T15:16:15.622704Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.259170Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.259170Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:2eacd8d435f075373b741b97a54289de90492efe01b5e596a4872bc38c2efb1d","observation_id":"891918ab-75c9-4c17-b1ba-cb38992c4437","resolution":{"observed_at":"2026-08-11T15:16:15.259170Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.684720Z","title":"Barr, Relational algebras, in: S","venue":null,"work_id":"35e14253-9186-4c1c-a745-e9ceb88feb0f","year":1970},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.275011Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:40ab29235e2716d2e1d0b56adf7346b52e4f28db3e671f9e6238f76729bd6eb1","observation_id":"c20e67be-e494-451d-bf43-2442c8c7fc6d","resolution":{"observed_at":"2026-08-11T15:16:16.691332Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.667784Z","title":"Thijs, Simulations and ﬁxpoint semantics, Ph.D","venue":null,"work_id":"03638853-6f8c-4134-ac5f-d0eac17e63ee","year":1996},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.283708Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:11936b8567e2826109d735c9b6130e726bf0495646eafe95844466317171d919","observation_id":"5d0d9242-a680-4889-ae1d-f243d9a5b879","resolution":{"observed_at":"2026-08-11T15:16:16.672711Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.650304Z","title":"Scott, A new category? Domains, spaces and equivalence re lations, available at http://www.cs.cmu.edu/Groups/LTC/ (1996)","venue":null,"work_id":"a5e1b379-3747-4aae-b06c-975cf4b9a7b7","year":1996},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.289894Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:7ff3905061f1a81018e8b0a1042f3f7dc4fee96ddde6ae721108c8d5727a2ba6","observation_id":"40e99e2c-606c-441b-938e-09184dd50178","resolution":{"observed_at":"2026-08-11T15:16:16.655405Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.631636Z","title":"Bishop, Foundations of Constructive Analysis, McGraw-Hill s eries in higher mathematics, McGraw-Hill, 1967","venue":null,"work_id":"403fc801-afd7-474e-8e85-04131535b50b","year":1967},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.294659Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:8d1280d7f634ec787436f33f20a9d5a727317b74e9a293c311829eafa1ccec36","observation_id":"0400fc2e-42b0-4da5-92e5-523965ff22ac","resolution":{"observed_at":"2026-08-11T15:16:16.639020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.614109Z","title":"Bishop, D","venue":null,"work_id":"d4d90343-3e61-4baa-b12d-3e90985838c4","year":2012},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.302224Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:6812b25eab62799c04c0d1d66704d7c1188a29b39ae360e12b5173fbe6a1bdd1","observation_id":"0ea33bc8-b002-4386-9a3b-4fb8ccd55c94","resolution":{"observed_at":"2026-08-11T15:16:16.619247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2111.15299","last_updated":"2026-06-19T11:44:55Z","snapshot_observed_at":"2026-07-06T12:13:34.860050Z","submitted_at":"2021-11-30T11:25:11Z","title":"Quasitoposes as elementary quotient completions","version":4},"cited_work":{"arxiv_id":"2111.15299","doi":null,"metadata_source":"pith","pith_arxiv_id":"2111.15299","snapshot_observed_at":"2026-08-11T15:16:15.895463Z","title":"Quasitoposes as elementary quotient completions","venue":"math.LO","work_id":"4d87e960-770c-49fe-bd17-8fc1a32f140b","year":2021},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.308322Z"},"links":{"cited_paper":"/paper/2111.15299","citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:15dd06eddc1cab4d0f4949bb66914e929e8f2b2b4bc915dc6f23dd341cfdc4e9","observation_id":"6bd0ea8b-2298-40be-9010-e86e240de76e","resolution":{"observed_at":"2026-08-11T15:16:15.903675Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.19266","last_updated":"2024-02-29T15:37:31Z","snapshot_observed_at":"2026-07-06T17:37:30.124979Z","submitted_at":"2024-02-29T15:37:31Z","title":"Cauchy-completions and the rule of unique choice in relational doctrines","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.19266","snapshot_observed_at":"2026-08-11T15:16:15.316401Z","title":"Dagnino, F","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.316401Z"},"links":{"cited_paper":"/paper/2402.19266","citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:5e22909607fe8aaa76f4dfa041ca066767aa3d3226e5d4bf32a01ced68e1b1ea","observation_id":"6ba956e7-39d0-4834-a625-975b5ca97280","resolution":{"observed_at":"2026-08-11T15:16:15.316401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129521000207","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.545207Z","title":"Dagnino, G","venue":null,"work_id":"6c30752a-1e1b-4254-ad5a-30a7dda07f98","year":2021},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.321325Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:a724cd652efb1d388747c74ec78e043e20756ec517c511c5dc427ee5a8ae2d4b","observation_id":"a733d102-ce26-4418-8dfd-e1bfb8a13454","resolution":{"observed_at":"2026-08-11T15:16:15.555187Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.598218Z","title":"Carboni, R","venue":null,"work_id":"5795828e-5f27-4178-bdbf-9542da75bb4e","year":1987},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.330494Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:da3fea5ec7262d888e72824b638f1dd954fb17413c1e96a61ad19ec755e83528","observation_id":"214ba44b-e80a-4a6c-9904-984854d04ff5","resolution":{"observed_at":"2026-08-11T15:16:16.602803Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.577596Z","title":null,"venue":null,"work_id":"dafe9135-878a-479f-bac9-0ff3cb2a08e4","year":1990},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.335323Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:e2745e4af25fc0294c2535d8dd3fc4659da02e4cc00eddfeec632d1239618f91","observation_id":"e2927f89-9d69-4fe5-b838-85c7b9671a45","resolution":{"observed_at":"2026-08-11T15:16:16.584810Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.calco.2021.10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.525078Z","title":"Bonchi, A","venue":null,"work_id":"9fad5773-6ac1-4ad6-b615-a2b9a1bcba28","year":2021},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.340364Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:b60e16d77c759232089821584b3236e38fd24bbab185f05061d43e6e66c1adbf","observation_id":"420db85b-9ee1-40a1-9475-b90790563556","resolution":{"observed_at":"2026-08-11T15:16:15.532936Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.03066","last_updated":"2025-05-06T15:13:12Z","snapshot_observed_at":"2026-08-03T09:24:48.448217Z","submitted_at":"2023-04-06T13:31:54Z","title":"Biased elementary doctrines and quotient completions","version":2},"cited_work":{"arxiv_id":"2304.03066","doi":null,"metadata_source":"pith","pith_arxiv_id":"2304.03066","snapshot_observed_at":"2026-08-11T15:16:15.857244Z","title":"Biased elementary doctrines and quotient completions","venue":"math.CT","work_id":"ac51b871-0c74-4abe-90a3-5d2e54e767eb","year":2023},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.345442Z"},"links":{"cited_paper":"/paper/2304.03066","citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:168cce787a8e1bf416a32991226dc9aa8f379d7f176f543d9e0093943cb89b1d","observation_id":"8eb1d28b-5670-47d5-9cfd-abe6e285a7c8","resolution":{"observed_at":"2026-08-11T15:16:15.867806Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1515/tmj-2017-0106","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.504673Z","title":null,"venue":null,"work_id":"bf230a37-1e65-421e-aa05-3dd4fecf274e","year":2017},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.352231Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:da48f20548c6cf1ab781f7301d3da32b17e17f058aae2a2e6e0c4128a918545e","observation_id":"855a0c17-fef0-4399-90d8-d3ccafa87dcf","resolution":{"observed_at":"2026-08-11T15:16:15.509099Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.552142Z","title":"Maietti, G","venue":null,"work_id":"7d36429a-be76-44e0-8309-43ee8d6cad8a","year":2016},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.363264Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:f42968f01760d1cb7dd7a7a204bd8fa96b3322011568f3c13e67e6e8afcc477e","observation_id":"f3773563-024d-4ab9-96f1-93e592e0e18d","resolution":{"observed_at":"2026-08-11T15:16:16.559455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.apal.2014.10.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.483080Z","title":"Frey, Triposes, q-toposes and toposes, Annals of Pure and Applied Logic 166 (2) (2015) 232–259","venue":null,"work_id":"4c2b475a-5178-4cdb-bd5c-e825f8a9b799","year":2015},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.374135Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:7430993019856c5ddc9f77707caec22c589735361566490665c974f42b10e5f6","observation_id":"acf474ba-6c00-4fc3-a29d-8bb29c396336","resolution":{"observed_at":"2026-08-11T15:16:15.488504Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10485-013-9360-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.459355Z","title":null,"venue":null,"work_id":"83249dd5-8481-49e8-90ec-0cbcedab938d","year":2015},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.379864Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:b1f303a6ff4a1249e7c0c350885c6ef2cc37ae808e566b3d8116e1b2efcb4347","observation_id":"708f817a-9e6a-48c3-b186-b7feb69f0a73","resolution":{"observed_at":"2026-08-11T15:16:15.469258Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:16.536906Z","title":"Cruttwell, M","venue":null,"work_id":"c4643817-444f-4d3b-bdc7-28b48f93e3ce","year":2010},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.386278Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:a7f55fbac58cd6f38dbdabe79c1897c5398a8c370154ca237588227e29e77e80","observation_id":"415c35e6-88ff-485c-975d-8b2fd83e1118","resolution":{"observed_at":"2026-08-11T15:16:16.541216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T15:16:15.392205Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T15:16:15.392205Z"},"links":{"citing_paper":"/paper/2412.11295"},"observation_digest":"sha256:48693bc30d12988fabefad82cde1c106371e283da606739a0048a81331225385","observation_id":"32a4f914-298a-4e19-9b2e-26a8a978f372","resolution":{"observed_at":"2026-08-11T15:16:15.392205Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion"},"reference_resolution":{"displayed":57,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":13,"verified_fuzzy":19},"total_outbound_references":57},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 1 inbound Pith citation observation for arXiv:2412.11295."}