{"as_of":"2026-08-12T03:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05442e8fcea3abd9c9e7da75f7041549a059d73c73be77bef9437afaad7f4397","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T18:37:40.710819Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T21:03:18.642818Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-22T02:25:56.279446Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.07922","snapshot_observed_at":"2026-08-05T21:03:18.642818Z","title":"Atomless Parts of Spaces","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2508.09602","last_updated":"2025-08-13T08:34:58Z","snapshot_observed_at":"2026-08-07T07:46:03.073357Z","submitted_at":"2025-08-13T08:34:58Z","title":"A Lightweight Learned Cardinality Estimation Model","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T21:03:18.642818Z"},"links":{"cited_paper":"/paper/2507.07922","citing_paper":"/paper/2508.09602"},"observation_digest":"sha256:1ebd4334c3718a1a9ab80d1076f39356d00b83e4b321ccfcede44e355af64b8c","observation_id":"660c0b71-9d2f-4ff3-b9b6-4f4258249eed","resolution":{"observed_at":"2026-08-05T21:03:18.642818Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"cited_work":{"arxiv_id":"2507.07922","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.07922","snapshot_observed_at":"2026-06-09T03:08:00.484291Z","title":"arXiv preprint arXiv:2507.07922 , year=","venue":null,"work_id":"adfeeccb-cc63-4a97-9247-e9791bf698ed","year":null},"citing_paper":{"arxiv_id":"2605.22071","last_updated":"2026-05-21T07:09:50Z","snapshot_observed_at":"2026-07-06T23:32:25.286443Z","submitted_at":"2026-05-21T07:09:50Z","title":"Duality theory for categorical theories","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-22T02:24:42.151629Z"},"links":{"cited_paper":"/paper/2507.07922","citing_paper":"/paper/2605.22071"},"observation_digest":"sha256:ee642921997e52e08c5db5929175143689484c67838d08904b7086856738fe12","observation_id":"0bacd338-3a6a-4fcf-bd48-dd09cbe7f50d","resolution":{"observed_at":"2026-06-09T03:08:00.484291Z","resolver_source":"arxiv_id","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/2507.07922/citation-record","integrity":"/paper/2507.07922/integrity","json":"/paper/2507.07922/citation-record.json","paper":"/paper/2507.07922"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:37:40.965044Z","title":"Relational algebras","venue":null,"work_id":"053d5481-ff9f-43f8-b771-927622519ada","year":2006},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.633223Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:4c83431e55f0f23ab5d9978b2e9bb61900f165277b7527764df96d2ca7158fb1","observation_id":"f14feec1-b15b-44e1-b02a-7d30cc6aeec0","resolution":{"observed_at":"2026-08-06T18:37:40.970419Z","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-06T18:37:40.954205Z","title":"Th´ eorie formelle des bicat´ egories.Esquisses Math´ emataiques 25, 1976","venue":null,"work_id":"5396ac3d-8131-41e3-962b-7a197526a81b","year":1976},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.636916Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:3f8eb214d627c5e15dc28b2f7b9b572bf98e5b37f33c43c73c9f32bb0ae253d7","observation_id":"03e84093-798d-488b-aa00-4cdb10794697","resolution":{"observed_at":"2026-08-06T18:37:40.958543Z","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-06T18:37:40.942196Z","title":"Fibred 2-categories and bicategories.Journal of pure and applied algebra, 218(6):1034–1074, 2014","venue":null,"work_id":"bef8f050-7ed4-4f49-a833-02bed3df6743","year":2014},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.640294Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:c16d5331906110d60e2dd54820dbd04c1c7342360528f09936465f41ce6075ab","observation_id":"d8a297e4-aaab-4ff9-8c61-03cc0d2b4040","resolution":{"observed_at":"2026-08-06T18:37:40.946873Z","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-06T18:37:40.931787Z","title":"Representation of topoi by topological spaces.Journal of Pure and Applied algebra 130 223-235, 1998","venue":null,"work_id":"b2ceafe8-b3ea-498b-88ab-5c8267bf732c","year":1998},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.643490Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:f40060bd0fe838ec5eceb43b8551bce15d633502bc488f26beda50777ca1630d","observation_id":"4cc55c32-dafc-4963-8692-3d65a8ab99fe","resolution":{"observed_at":"2026-08-06T18:37:40.935549Z","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-06T18:37:40.921817Z","title":"Topological representation of sheaf cohomology of sites","venue":null,"work_id":"d1d2a109-77f0-4e57-be12-c9e8e171834c","year":1999},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.646668Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:eaa0dcabda21190f6f0702437fdf4f2893a2b3c96f9b77711140b39d88da592b","observation_id":"bc45b049-4d1d-4429-afd9-2f9461d65ea4","resolution":{"observed_at":"2026-08-06T18:37:40.926004Z","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-06T18:37:40.912525Z","title":"Oxford University Press, 2018","venue":null,"work_id":"419554ad-81d2-4e51-907d-794f24b8bc07","year":2018},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.650508Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:cd0fd85de44d3009b967eb46919fbe08056d9411c1e9da27bd2660ccaf752411","observation_id":"9a3677cd-a49c-43d7-b9d3-f4199478b4c8","resolution":{"observed_at":"2026-08-06T18:37:40.916474Z","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-06T18:37:40.903537Z","title":"Homotopy theory and calculus of fraction.Ergebnisse der Mathematik, Bd, 35","venue":null,"work_id":"433c7472-8a45-40df-b336-95ddeafafb0a","year":null},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.653642Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:f5b21cfd45dbd3e3bdd042813c837ef618c247fec4ae67f76d10c1ebda8a1472","observation_id":"cdb8c234-c830-4129-864e-6f2b729ddc6a","resolution":{"observed_at":"2026-08-06T18:37:40.906501Z","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-06T18:37:40.894746Z","title":"Lax colimits and free fibrations in ∞-categories.Documenta Mathematica, 22:1255–1266, 2017","venue":null,"work_id":"62784b47-1e6a-4674-b7b2-530434b7878a","year":2017},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.656609Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:a20273894989e92a5266adcf28de3194f62ff8cd39b19024eb4e6bf022e41ebd","observation_id":"613d2588-fd2a-4902-9c5a-4e4f16cf33bd","resolution":{"observed_at":"2026-08-06T18:37:40.897684Z","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-06T18:37:40.884360Z","title":"Bundles of metric structures as left ultrafunctors.arxiv preprinthttps: // arxiv","venue":null,"work_id":"6fb12a9b-922a-4c1c-a817-5abc7d8f9079","year":2024},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.659419Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:e797957dea424ace13227860394d15569810faeeb384b611d042e0c14f28db21","observation_id":"8e539fba-7300-45e3-a762-c38032a80758","resolution":{"observed_at":"2026-08-06T18:37:40.888274Z","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-06T18:37:40.874296Z","title":"Ultracategories as colax algebras for a pseudo-monad on cat.https: // arxiv","venue":null,"work_id":"feae51c2-9229-4043-a6ea-09d418695fa8","year":2025},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.662378Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:39d0520aa3e35247540aac7844e24d1c4498a1fc480f53328f6a14cf1de0c8f1","observation_id":"cfbf1776-7f88-47ad-a330-4aa61cbb56bc","resolution":{"observed_at":"2026-08-06T18:37:40.877702Z","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":"2210.01522","last_updated":"2022-10-04T11:01:29Z","snapshot_observed_at":"2026-08-05T14:18:51.272271Z","submitted_at":"2022-10-04T11:01:29Z","title":"Notes on Lax Ends","version":1},"cited_work":{"arxiv_id":"2210.01522","doi":null,"metadata_source":"pith","pith_arxiv_id":"2210.01522","snapshot_observed_at":"2026-08-06T18:37:40.741181Z","title":"Notes on Lax Ends","venue":"math.CT","work_id":"e78e4776-f214-4ee1-9533-0bb21b48f2a1","year":2022},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.665306Z"},"links":{"cited_paper":"/paper/2210.01522","citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:e414ca992030537f066b7c30d561d9ee98543057c0aa35674f4ed09b8ab63081","observation_id":"157bde3e-ec31-4a27-9d2c-c5a8bfed04ff","resolution":{"observed_at":"2026-08-06T18:37:40.746256Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:37:40.865368Z","title":"When do kan extensions preserve limits/colimits? MathOverflow","venue":null,"work_id":"7eee08ac-9826-4654-9faa-fbf2097f3887","year":2024},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.668386Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:37529dd185343714f27d3043c3f53db9ef5bd694c1972d3ae54dda24eb02639c","observation_id":"e531e33c-dc91-4569-a631-63138472ac6e","resolution":{"observed_at":"2026-08-06T18:37:40.868102Z","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-06T18:37:40.858188Z","title":"Oxford University Press, 2002","venue":null,"work_id":"66f2e4eb-2f01-4dc8-99b2-61a8a18a6daf","year":2002},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.671232Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:21c4b1aebe74189fdc8ebc197ec2e64ecd092f1e14646240d52e5668d1f1bc89","observation_id":"dee6556d-0d0f-41df-a119-9a9dc7b8e37f","resolution":{"observed_at":"2026-08-06T18:37:40.860752Z","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-06T18:37:40.850140Z","title":"Discrete 2-fibrations.Higher structures Volume 8, Issue 1, 2024","venue":null,"work_id":"33bc2711-1a46-4183-ac4e-a07b2aecd670","year":2024},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.674278Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:d54be6719ed06f7bb0417f3d69e982f6f969f1e19c70e76b78ce15cb1e0b444d","observation_id":"d8ed727e-c104-4a26-b16e-0c32d797196a","resolution":{"observed_at":"2026-08-06T18:37:40.852782Z","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-06T18:37:40.843313Z","title":"Cambridge University Press, 2021","venue":null,"work_id":"f10d72b6-4067-4e42-9983-644935ea1a99","year":2021},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.677178Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:d8af86e498e56df81cec2e141873ff2bbb7196831ef256997d706f853e3e0165","observation_id":"655ca663-d704-432a-8ece-c1b653b975eb","resolution":{"observed_at":"2026-08-06T18:37:40.845652Z","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-06T18:37:40.835086Z","title":"Ultracategories.Preprint available athttps: // www","venue":null,"work_id":"df514f13-818e-4152-a0d8-a2bf6c45f9f9","year":2018},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.680247Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:fee1ab16a43bc6a0622e339caa48fa040293ee987aee3bd4c8a319de9428112e","observation_id":"56f924aa-cd5c-4cdc-9910-dea4418889b8","resolution":{"observed_at":"2026-08-06T18:37:40.837560Z","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-06T18:37:40.824351Z","title":"Sheaves in geometry and logic: A first introduction to topos theory.Universitext","venue":null,"work_id":"1b22bbb5-ba7d-4f42-8d57-2447c1f77833","year":2012},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.684134Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:3cdd5688195a2374ebfd0d25d830284a48f8c4361fe7e426ea7b9b963264f31f","observation_id":"e2ecf974-a418-4d4f-a5f4-29e537653ee4","resolution":{"observed_at":"2026-08-06T18:37:40.827272Z","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-06T18:37:40.815935Z","title":"Stone duality for first order logic.Advances in Mathematics, 65(2):97–170, 1987","venue":null,"work_id":"a553509f-054b-4715-b1ce-af9cdaac12b5","year":1987},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.686804Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:27d15ea0fe68bcd1780306623029018c6e0301cc71c65175a36b36e29c8b4cb3","observation_id":"203fe849-a7b2-460c-9169-6cf16e80340e","resolution":{"observed_at":"2026-08-06T18:37:40.818624Z","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-06T18:37:40.806096Z","title":"Strong conceptual completeness for first-order logic.Annals of Pure and Applied Logic, 40(2):167–215, 1988","venue":null,"work_id":"ba97d4f5-e47d-4171-afae-63f5fe1ed9f2","year":1988},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.690277Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:458a216114d0716f0e37048cd9f05579c8ccfd860b14aa778b583e02b422ef51","observation_id":"98c9d5c5-f77f-48b9-9bf9-b218e46ee605","resolution":{"observed_at":"2026-08-06T18:37:40.808921Z","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-06T18:37:40.795760Z","title":"The classifying topos of a continuous groupoid","venue":null,"work_id":"11a69962-4719-4502-8b8d-2bbc8aea7612","year":1988},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.693502Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:1bd671e053a08d98fa090101215b81b6ffd356b7749cf2bcf65af7ff5abe403f","observation_id":"0f05b255-9ec3-4864-8a94-94806c3a5ee9","resolution":{"observed_at":"2026-08-06T18:37:40.798771Z","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-06T18:37:40.785163Z","title":"On product and change of base for toposes.Cahiers de Topologie et G´ eom´ etrie Diff´ erentielle Cat´ egoriques, 26(1):43–61, 1985","venue":null,"work_id":"ac697254-c2f5-4b97-9502-e93da278bf28","year":1985},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.696371Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:e199b3110e7c555c09895448285aba750c5b13891c500c827b1d4c857590e87c","observation_id":"fbf69085-e32f-4459-a8ef-60d750fe51e2","resolution":{"observed_at":"2026-08-06T18:37:40.789123Z","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-06T18:37:40.775263Z","title":"Springer, 1977","venue":null,"work_id":"4c3b8b45-1b6a-47f4-adb1-22a44e8f613a","year":1977},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.700317Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:6520b613b90623aa32e8f5106b4d685fc92a08a44f7d6d35f984fae5ab644dcf","observation_id":"6d16b12c-ccfa-4898-ad22-9d50b51f3fdc","resolution":{"observed_at":"2026-08-06T18:37:40.778730Z","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-06T18:37:40.765816Z","title":"Structures in Foundations of Mathematics Padova","venue":null,"work_id":"b450ea20-d771-4e17-acce-a40161a3356b","year":2024},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.703920Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:e0401d8a630441c8bfa9f537143627de0a5f7fcfee0f1c9200de49fc76815c1c","observation_id":"0d85f0e6-919a-4e40-a4fd-89bc32f836df","resolution":{"observed_at":"2026-08-06T18:37:40.768486Z","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":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.23935","snapshot_observed_at":"2026-08-06T18:37:40.707674Z","title":"Extending conceptual completeness via virtual ultracategories","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.707674Z"},"links":{"cited_paper":"/paper/2506.23935","citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:556d499ae9a4b3c9d2909ce71aa8c2e12c3630d57d3e13021d08ce4cfb277260","observation_id":"1c9b6e4f-65dc-4263-bba5-adafdb662542","resolution":{"observed_at":"2026-08-06T18:37:40.707674Z","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-06T18:37:40.753693Z","title":"commutativity of products with directed colimits","venue":null,"work_id":"885c2173-840f-48d1-a2eb-442446e36063","year":1996},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.710819Z"},"links":{"citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:ac349ece36f27209dfd3edc90be1e36b0f7a5ec6261c038066c6f5e6736bcee8","observation_id":"58bc5940-7ba8-4689-a173-e479cf701699","resolution":{"observed_at":"2026-08-06T18:37:40.758422Z","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"}}],"paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","latest_version":3,"primary_category":"math.CT","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":1,"verified_fuzzy":23},"total_outbound_references":25},"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 25 of 25 outbound references and 2 inbound Pith citation observations for arXiv:2507.07922."}