{"as_of":"2026-08-09T00:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4d906077f84faac99b2988910c359c3af77722e14b6ba4248cf54b67393bf8dc","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T14:46:05.967713Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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-07-05T14:25:18.768204Z","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-07-05T14:31:09.375499Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"cited_work":{"arxiv_id":"2508.21134","doi":null,"metadata_source":"pith","pith_arxiv_id":"2508.21134","snapshot_observed_at":"2026-07-05T14:31:09.375499Z","title":"arXiv preprint arXiv:2508.21134 (2025)","venue":"math.CT","work_id":"b84c8131-ca8d-4f5d-b2e8-22367c983c6d","year":2025},"citing_paper":{"arxiv_id":"2604.18050","last_updated":"2026-06-06T08:37:26Z","snapshot_observed_at":"2026-08-02T16:57:39.622042Z","submitted_at":"2026-04-20T10:18:08Z","title":"The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T04:58:24.217267Z"},"links":{"cited_paper":"/paper/2508.21134","citing_paper":"/paper/2604.18050"},"observation_digest":"sha256:8531d98727acbdc1ea8d56c86c9186f491f8102621cdd8850febb498240c226d","observation_id":"31edc888-4527-481e-856f-039e0993c908","resolution":{"observed_at":"2026-05-10T10:29:25.473283Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"cited_work":{"arxiv_id":"2508.21134","doi":null,"metadata_source":"pith","pith_arxiv_id":"2508.21134","snapshot_observed_at":"2026-07-05T14:31:09.375499Z","title":"arXiv preprint arXiv:2508.21134 (2025)","venue":"math.CT","work_id":"b84c8131-ca8d-4f5d-b2e8-22367c983c6d","year":2025},"citing_paper":{"arxiv_id":"2604.18050","last_updated":"2026-06-06T08:37:26Z","snapshot_observed_at":"2026-08-02T16:57:39.622042Z","submitted_at":"2026-04-20T10:18:08Z","title":"The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-05T14:25:18.768204Z"},"links":{"cited_paper":"/paper/2508.21134","citing_paper":"/paper/2604.18050"},"observation_digest":"sha256:1c086e2a3601eb321d6e37c66274d474d8a6e3633194a603644d80a0c09f5bb1","observation_id":"d581ec2a-b227-4f42-a4e3-06294bb0baa2","resolution":{"observed_at":"2026-07-05T14:31:09.378047Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.21134/citation-record","integrity":"/paper/2508.21134/integrity","json":"/paper/2508.21134/citation-record.json","paper":"/paper/2508.21134"},"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-05T14:46:06.958312Z","title":"horizontal","venue":null,"work_id":"bd66b946-801c-436e-9b90-70c5705c1367","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.740331Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:c68c562526866cb423ca47e1772ad2aa8b3626e5801efd424988543e3efa308b","observation_id":"3929cc01-f180-4855-bddc-8c819f47767c","resolution":{"observed_at":"2026-08-05T14:46:06.968316Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:07.122250Z","title":null,"venue":null,"work_id":"d676db27-2080-4a1d-b52e-11f2397c1dcb","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.646252Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:18d25a1ac1c1603d403fdf660daceb96cd5a255f509318f144060b173b5ad896","observation_id":"2dc63996-6d37-4131-9785-2a87be2e2b3c","resolution":{"observed_at":"2026-08-05T14:46:07.132012Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:07.156365Z","title":"pr´ esent´ e","venue":null,"work_id":"bfb6949c-1bdf-40af-9fbc-2fd707c6cf8c","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.635555Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:4146840cbb65b325b8fd50b3d3c1a387fa681efa333ca0ad7c1723144724f83b","observation_id":"6c769da2-d978-47c2-8d1c-94cd2b146690","resolution":{"observed_at":"2026-08-05T14:46:07.163804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:07.088538Z","title":null,"venue":null,"work_id":"90abc46e-b7c6-4d10-981f-b48b01aa3cea","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.662387Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:9c791f86fb6f88c37f8abca9fdb29c9d37ea7404085df57544b7e241ab247d8f","observation_id":"7f4f4ceb-9ce7-444e-8fc4-d4bc8ac420e7","resolution":{"observed_at":"2026-08-05T14:46:07.095607Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:07.069376Z","title":null,"venue":null,"work_id":"cbecba4a-18c3-4db6-8e66-08b71bcb5f0b","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.670685Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:0805442443a011146caa3d643a91fe2585bcdfcb16159fce8aedb3d534ccfe62","observation_id":"67c9caf0-107a-4d6e-a970-843327f18b64","resolution":{"observed_at":"2026-08-05T14:46:07.074748Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:07.044892Z","title":"Apr` es un nombre fini de ces r´ eductions, tout tel objetφ(⃗ x) de Ccar Σ se r´ e´ ecrit sous la forme de (i)","venue":null,"work_id":"418481cd-9939-442c-a153-5d47ec345437","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.677710Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:0e39b504d33c2a9283e9b0e2cf65e1c40cecec7c2a1e3dea6c3bdf9e1afc9c9d","observation_id":"233fd3ef-ecad-4de6-83bb-1cd8bb4cba6d","resolution":{"observed_at":"2026-08-05T14:46:07.051376Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:07.023583Z","title":null,"venue":null,"work_id":"da27981a-3b5e-4865-bc9d-b80ff3c0605b","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.687927Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:60af9ddf6e2c4aa2bb5dc667bcb20c148cfca8efa45640a454e2daa168d2697d","observation_id":"ec9c3a54-bc55-4c05-b6c7-da8c5601510d","resolution":{"observed_at":"2026-08-05T14:46:07.030701Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.986655Z","title":"horizontal","venue":null,"work_id":"d0513a1e-0d52-4062-8aa4-16b60d882fbd","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.719644Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:41e2558906870f17d0d342f8436a4e202d138532dc7b7ad2192b57ad855d991e","observation_id":"45d089ab-d3cf-41ac-89c9-f21569c1f710","resolution":{"observed_at":"2026-08-05T14:46:06.992181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.919389Z","title":"fibration","venue":null,"work_id":"f6704a62-5c04-4ca5-a615-f909dbd7e58b","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.753037Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:f973f9559dcfc38e83beca5b4053f607d79dc14cd63150d6ba1b5c4a2cb39b8a","observation_id":"49394ae1-6c24-4c22-a3fb-2966cab913fd","resolution":{"observed_at":"2026-08-05T14:46:06.932118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.896034Z","title":"208 CHAPITRE IV","venue":null,"work_id":"697a4684-65f6-43cd-b200-00e4f2d77423","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.763952Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:5034a0107251af9bcda3945e88da667bed3b51afcca6743fb45a067f9957a125","observation_id":"35b16e50-8502-4353-bc8e-b7851d1b2cbb","resolution":{"observed_at":"2026-08-05T14:46:06.904464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.861580Z","title":"D´ emonstration : Grothendieck Supposons d’abord que F soit une fibration et consid´ erons deux morphismes deB de la forme F (X) Y ′ // Y pour un objet X de C","venue":null,"work_id":"9beec320-7890-4f64-b989-82edd7a29c01","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.773196Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:aa8bc9be845d4ced6e129c27f9c9a8656661eb7d7497545e6881db2f65698c07","observation_id":"174f0e4a-b1f9-4e87-a550-ffc6d00ce5f9","resolution":{"observed_at":"2026-08-05T14:46:06.875174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.830170Z","title":"essentiel","venue":null,"work_id":"1b21249b-3f13-49f6-8fdb-c354bc6aba0d","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.783002Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:ca5f78706b457fe0f5d30b3895072a0109a00a0db5e254f9bff768dd13da7304","observation_id":"27585e44-b728-49db-a6df-565e9a98ca51","resolution":{"observed_at":"2026-08-05T14:46:06.837339Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.808866Z","title":"p(X) − →Y ], • les morphismes sont les morphismes de C X2 x − − →X1 qui rendent commutatif le triangle p(X2) p(x) Y << \"\" p(X1) p(X2) p(x)[resp","venue":null,"work_id":"c4b68015-0adb-4a2e-afd9-4fb8a4ec9c00","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.795171Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:ea325913cca0ccd651ac86be380f92fd5229ff4a8de9d4747be7d71342ea049a","observation_id":"7f56bbc5-d82f-4802-9a49-8d472e4d16a5","resolution":{"observed_at":"2026-08-05T14:46:06.816753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.781191Z","title":"Cela montre que l’application p!(P ×p∗Q1 p∗Q2) − →p!P (Y ) ×Q1(Y ) Q2(Y ) est une bijection, comme annonc´ e","venue":null,"work_id":"4774ec34-39c1-4159-8c57-c9aff2bf6d97","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.800606Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:3405c0fe9eb1cc44fd416f798094a30d90a2c0e5716a0ab8b91dbed50a69af7c","observation_id":"987877c4-d3ab-41c4-8c11-146955b8bbc4","resolution":{"observed_at":"2026-08-05T14:46:06.794937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.725399Z","title":null,"venue":null,"work_id":"01c95e94-f17d-430e-a2ac-b15c59736e70","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.807187Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:2cb9828751abf0c2e4462ff8a9ad7bdf485c51e4b4a1a674f34dcd8da4041185","observation_id":"6c3b66d5-e7bb-4079-9790-51537364a571","resolution":{"observed_at":"2026-08-05T14:46:06.731136Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.683551Z","title":"Comme tout morphisme Y → p(X) se rel` eve en un morphisme horizontal dans C, on voit que pour un tel crible C ′ = p−1C d’un objet X, on a C ′ p = C","venue":null,"work_id":"4d48ce83-c407-47a1-9f23-543ad6926609","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.812440Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:fdb43897f3558b254e16d1458a55894232b3a06bf33b5cefee22b739667231cb","observation_id":"b77b39e2-c01b-4e02-8feb-80b8585a5a3f","resolution":{"observed_at":"2026-08-05T14:46:06.710637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.649228Z","title":"topologies","venue":null,"work_id":"772c1fa5-21fa-4640-b44d-40f42058bf21","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.819696Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:d082c16b818e988521b537b5abaab302bcd531109979086843f023e129dac89c","observation_id":"4c2c8a11-d68a-447b-ba59-e2a5fcd3a688","resolution":{"observed_at":"2026-08-05T14:46:06.662604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.615282Z","title":null,"venue":null,"work_id":"dae749cb-d575-4619-8267-8b36934730f2","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.828104Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:6dbc74a0a0a5ce4e3d24afd330ddd43ea7186641be809c56303a01100a8ac593","observation_id":"6a3e7536-c521-4f42-8581-02c880597e35","resolution":{"observed_at":"2026-08-05T14:46:06.624114Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.582467Z","title":"(ii) Il y a mˆ eme ´ egalit´ e de sous-objets C ′ f = Cf ×f!X f!X ′ si le morphisme X ′ x − − →X est un ´ epimorphisme","venue":null,"work_id":"93b056df-b0a5-4e78-8e5b-06a286dd14ac","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.835061Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:248b5596ebf8aa4f4a967e69d8396df66d9b161047cb6ee6feab3e87d89628a9","observation_id":"c4a15961-e535-4b5a-acd9-769eca2f0fe0","resolution":{"observed_at":"2026-08-05T14:46:06.595596Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.563163Z","title":"Grothendieck Fin de la d´ emonstration du th´ eor` eme IV.1.8 (ii)","venue":null,"work_id":"6061a1f1-5342-4499-8d53-70fec3d3aa6c","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.845366Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:34ce8d73054764166522f8d64637129c8dd5a33b99b38bf3130086454bc8cc54","observation_id":"96463922-eeed-4a30-950e-675466b4a4d2","resolution":{"observed_at":"2026-08-05T14:46:06.568083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.529595Z","title":"Comme le morphisme X ′ − →X est un ´ epimorphisme, on obtient d’apr` es le lemme IV.1.9 (ii) la formule C ′ f = Cf ×f!X f!X ′","venue":null,"work_id":"57e416a6-3752-4cb2-a91b-b7b7fb8eb14a","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.851050Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:65081f86e6766c3d6f1abaa4470c365674e165e1e0e2c5b5b50b4f3c8d379313","observation_id":"c3ff0fc5-8134-4c7c-8238-478c827df23d","resolution":{"observed_at":"2026-08-05T14:46:06.541093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.466498Z","title":"D’o` u il r´ esulte comme voulu que l’application Hom(X ′, f∗Y ) − →Hom(C ′, f∗Y ) est une bijection si Y est un objet de EJ j∗ // E","venue":null,"work_id":"83b39ae3-6ee0-4d87-b332-bc95c9c67223","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.856641Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:0475bf95b0f5d7a90bd25d00519461400de19206073d3e617179e2288d469991","observation_id":"b91fe996-4502-49de-bf9f-8da78c745480","resolution":{"observed_at":"2026-08-05T14:46:06.493565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.426257Z","title":null,"venue":null,"work_id":"55daa0c4-91b7-4c34-bb5c-1ef15e7bd658","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.866119Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:5d6ef0bdbbe559afc57690b233733e2c7dccbb205dde90dd5a1413d5e684f70f","observation_id":"c0893d19-2f52-498d-8a8e-77f526db195a","resolution":{"observed_at":"2026-08-05T14:46:06.454751Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.373811Z","title":null,"venue":null,"work_id":"e81b5950-9e4a-447c-b410-5d8a45115974","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.877740Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:eb6f213688fe430ee625d6b69f9069b140f413baa81eda9194f0f9587f1504b6","observation_id":"3e698f91-8484-4958-b00d-a2ec8d7faa72","resolution":{"observed_at":"2026-08-05T14:46:06.389920Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.339775Z","title":null,"venue":null,"work_id":"115083e1-825f-4260-b301-1977b89044db","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.885868Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:d9917cac6bcec1012cfbfb25b25edc26c151b357c92255e6d8319b300f4e7eb5","observation_id":"18dcc6eb-6ab6-4d5b-a309-469da37be681","resolution":{"observed_at":"2026-08-05T14:46:06.349791Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.310666Z","title":"Grothendieck La conclusion r´ esulte du th´ eor` eme de factorisation suivant : Th´ eor` eme IV.2.4","venue":null,"work_id":"f7692cc7-0af3-478c-97dc-9574253bc43a","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.895093Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:1bfd2e9db2a54851d66b3d24dcb67eec02df0f4bf0fbf454888de7fb8a9219c2","observation_id":"fc909808-2551-4a05-8f52-8fb2b63b6b19","resolution":{"observed_at":"2026-08-05T14:46:06.322270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.278311Z","title":null,"venue":null,"work_id":"3af85250-286f-4108-b3b9-1cf110c3d5b6","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.921926Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:230b4dcd1d00c3b217490fad34c324023745ed163dfc3221ce21ffa8f494ded7","observation_id":"1ce91bbb-fcf3-476e-8c57-5887199f158e","resolution":{"observed_at":"2026-08-05T14:46:06.284207Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.247840Z","title":null,"venue":null,"work_id":"6c8bd08f-2e5c-4081-89c3-f71d57107ac2","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.937988Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:2cb275bf24db8198679a003353f7aeb05abae25d77918e6687fcb5ff19cee299","observation_id":"3a887544-f964-4d3d-808e-a58f762bba22","resolution":{"observed_at":"2026-08-05T14:46:06.255135Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.212716Z","title":null,"venue":null,"work_id":"a87cd4fe-6f95-4422-b2b0-ceb1edce2ed0","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.946152Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:6177238a8ebf7bfc0c8ab2aa40ff0ff8d626f5dfb3228ceb2a5576c7a2130eaa","observation_id":"8c03437d-8a16-481e-94c9-f53d7096b682","resolution":{"observed_at":"2026-08-05T14:46:06.222250Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.172043Z","title":"Il est aussi K-continu puisque le foncteur r : C → C′ transforme toute famille K-couvrante en une famille K ′-couvrante","venue":null,"work_id":"60e4c0ae-b2a0-4e8d-940f-7e76096f2c18","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.957979Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:bb9b46de64f4a9987acd863cf4125f3d441c901c5dd63f2724387b23331b89b1","observation_id":"0769d446-6873-4900-aa8b-714c1bdeb204","resolution":{"observed_at":"2026-08-05T14:46:06.184020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T14:46:06.110172Z","title":null,"venue":null,"work_id":"077d5d50-b214-48c6-8824-4e213f3d3aab","year":null},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.962956Z"},"links":{"citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:d3bff4455354a39701f67425bedff151c475e47d0faaa410debf64154eeaace6","observation_id":"66f8b749-9a02-485f-a475-dbaa3f016df9","resolution":{"observed_at":"2026-08-05T14:46:06.120654Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.04417","last_updated":"2021-07-09T13:04:35Z","snapshot_observed_at":"2026-08-08T21:49:28.131241Z","submitted_at":"2021-07-09T13:04:35Z","title":"Relative topos theory via stacks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.04417","snapshot_observed_at":"2026-08-05T14:46:05.967713Z","title":"Th´ eorie des topos","venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T14:46:05.967713Z"},"links":{"cited_paper":"/paper/2107.04417","citing_paper":"/paper/2508.21134"},"observation_digest":"sha256:28b9233ab7d071e05f8298079c05eedb6da2f878f53bde0c1b57835ce4168ba6","observation_id":"77075e70-b2b1-4931-84d2-fdbf4b904177","resolution":{"observed_at":"2026-08-05T14:46:05.967713Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.21134","last_updated":"2025-08-28T18:08:48Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-05T18:50:56.625954Z","submitted_at":"2025-08-28T18:08:48Z","title":"Generation of Grothendieck topologies, provability and operations on subtoposes"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":18},"total_outbound_references":32},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 2 inbound Pith citation observations for arXiv:2508.21134."}