{"as_of":"2026-08-20T23:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b71a1397fe2d14dc2350f7e3c0647510f2673e5140b50b0d49f63449884c61a3","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T11:05:39.585315Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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.639191Z","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.274863Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.16690","snapshot_observed_at":"2026-08-05T21:03:18.639191Z","title":"Ultrafilters, finite coproducts and locally connected classifying toposes","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.09602","last_updated":"2025-08-13T08:34:58Z","snapshot_observed_at":"2026-08-16T17:56:42.574117Z","submitted_at":"2025-08-13T08:34:58Z","title":"A Lightweight Learned Cardinality Estimation Model","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-05T21:03:18.639191Z"},"links":{"cited_paper":"/paper/2504.16690","citing_paper":"/paper/2508.09602"},"observation_digest":"sha256:d945c7cc7cb94542e853228cb223dcfd8884912595ba6ac2d0f789ed1043cfd7","observation_id":"4ef63867-485d-48d4-b42b-6d55935df1ee","resolution":{"observed_at":"2026-08-05T21:03:18.639191Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"cited_work":{"arxiv_id":"2504.16690","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.16690","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2504.16690 , year=","venue":null,"work_id":"ce54d3d0-1f3a-4502-ab91-7dc20b318ecc","year":null},"citing_paper":{"arxiv_id":"2605.22071","last_updated":"2026-05-21T07:09:50Z","snapshot_observed_at":"2026-08-19T00:39:47.561972Z","submitted_at":"2026-05-21T07:09:50Z","title":"Duality theory for categorical theories","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-22T02:24:42.151629Z"},"links":{"cited_paper":"/paper/2504.16690","citing_paper":"/paper/2605.22071"},"observation_digest":"sha256:a46f7fdcd078de9928f649ee1513c55ef4db4cbc98cfb0af6b2c76b2b44087b1","observation_id":"81ae0ae1-29a4-4fff-8857-cd0a759fe644","resolution":{"observed_at":"2026-05-22T02:25:56.277384Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2504.16690/citation-record","integrity":"/paper/2504.16690/integrity","json":"/paper/2504.16690/citation-record.json","paper":"/paper/2504.16690"},"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-16T11:05:40.519601Z","title":"A classification of accessible categories","venue":null,"work_id":"66a8103f-6f5f-44b9-a8d2-40bd2a67689f","year":2002},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.326742Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:78633e00d7e174dd8e542ea8cefe160b12595a76428413775070b1090c687095","observation_id":"63ff8e63-882b-4cf6-bc33-13de4df1e647","resolution":{"observed_at":"2026-08-16T11:05:40.525257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.332362Z","title":"Theorie de Topos et Cohomologie Etale des Schemas I , II , III , volume 269, 270, 305 of Lecture Notes in Mathematics","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.332362Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:d6dfd49093c08d472cdb25514eb91715516d92ebae25c8a18fcb6483f914d5eb","observation_id":"c08241c7-d41d-413e-bcdd-748691a94e5d","resolution":{"observed_at":"2026-08-16T11:05:39.332362Z","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-16T11:05:40.491137Z","title":"Topo-logie","venue":null,"work_id":"c580a0ae-d50e-4be2-9697-d2afd84ab491","year":2021},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.337970Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:7c65a5694768cb7558ff1f54d469f929d7566eb7e435d94455ac952d32c5af07","observation_id":"a70fe7ff-0e90-4f12-b56e-3bf01b515874","resolution":{"observed_at":"2026-08-16T11:05:40.496301Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12510","last_updated":"2025-01-21T21:49:32Z","snapshot_observed_at":"2026-08-18T08:51:52.113751Z","submitted_at":"2025-01-21T21:49:32Z","title":"Bicategories of algebras for relative pseudomonads","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12510","snapshot_observed_at":"2026-08-16T11:05:39.343348Z","title":"Bicategories of algebras for relative pseudomonads","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.343348Z"},"links":{"cited_paper":"/paper/2501.12510","citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:fb6162348293a90957ae7a6d7f90ed298884f7fb1fd2370876e9f485543ccfe7","observation_id":"c45989ff-562c-4fc5-ac1a-cb92a5021906","resolution":{"observed_at":"2026-08-16T11:05:39.343348Z","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-16T11:05:40.475997Z","title":"Kan injectivity in order-enriched categories","venue":null,"work_id":"3abf1c89-6205-47d2-98ad-65b591a2c114","year":2015},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.349465Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:e7a3f62aa938af23dec66167c021ec4952cae87b2c41fb932948b30096e85bba","observation_id":"bb61abd0-329e-41f6-9bf3-31cb3f271e32","resolution":{"observed_at":"2026-08-16T11:05:40.480931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.458726Z","title":"On a bicomma object condition for kz-doctrines","venue":null,"work_id":"264933ae-ce85-43cd-8a1e-3ece280593d4","year":1999},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.355008Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:fb5b79b63945977b550cacf01a78004a441a98fcb9802950ca561b25dfc1f439","observation_id":"3f984e56-de91-458a-8a43-9c9c02df7bb2","resolution":{"observed_at":"2026-08-16T11:05:40.463996Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.441288Z","title":"Model-theoretic logics , volume 8","venue":null,"work_id":"1c02d742-a3fd-4c5a-8449-8c178f4d826d","year":2017},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.360671Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:0d4ddd2707d4ba5b4390c79cc533720c317ab2a53e6041c5ee59b7cfbebaa908","observation_id":"81762b8d-e183-4ce9-a3a5-eab68a9bc4a7","resolution":{"observed_at":"2026-08-16T11:05:40.447188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12708","last_updated":"2018-10-30T12:47:24Z","snapshot_observed_at":"2026-08-20T19:34:48.358170Z","submitted_at":"2018-10-30T12:47:24Z","title":"Flabby and injective objects in toposes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12708","snapshot_observed_at":"2026-08-16T11:05:39.366764Z","title":"Flabby and injective objects in toposes","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.366764Z"},"links":{"cited_paper":"/paper/1810.12708","citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:6599d4b7c62ae53ef986ef5ed42882567fff4e0e10ad14b77e07fd7f1b1cd967","observation_id":"51ca4478-bcd1-4402-b1a8-2f8b52baa2c9","resolution":{"observed_at":"2026-08-16T11:05:39.366764Z","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-16T11:05:40.424718Z","title":"Algebraizable logics","venue":null,"work_id":"9db74471-8d15-45e5-b3f6-fcf190d282ae","year":1989},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.373760Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:019e57e57d380e884d49ff883c2dc524566fc2e31bd417f17ebe22c7ac1233d1","observation_id":"cb3e6dc8-d90d-4113-aa84-15c666279e89","resolution":{"observed_at":"2026-08-16T11:05:40.429995Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.405138Z","title":"Theories, sites, toposes: relating and studying mathematical theories through topos-theoretic'bridges'","venue":null,"work_id":"72a2d545-9e56-4f4b-be0b-65914abde9f7","year":2018},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.379794Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:303e0d501e884d04680ae83a58c9b4b7618303d475dbfd2222566003558fa886","observation_id":"36e2f32c-9ada-4f23-b372-9608581842bd","resolution":{"observed_at":"2026-08-16T11:05:40.411700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.387282Z","title":"Three uses of the herbrand-gentzen theorem in relating model theory and proof theory","venue":null,"work_id":"2a69ac89-23e0-4b11-bb16-949eb6e83653","year":1957},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.385751Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:a84ba8009ac8eb933a7ae610ca2ce74ad3f6785a11b3776bd25889f1fb96e8a2","observation_id":"ad7c61eb-5950-4732-9134-a422df2e3bf4","resolution":{"observed_at":"2026-08-16T11:05:40.392687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.369590Z","title":"The geometry of coherent topoi and ultrastructures, 2022","venue":null,"work_id":"253d80ad-a5af-4b41-a57e-ec2b187b4f79","year":2022},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.391551Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:94b1f5692618a4441de777ac431cf0764aecb0b7660fdb36d3fc6e962d1a30ca","observation_id":"cac66d52-ded1-43e0-86a2-d33627f76ebf","resolution":{"observed_at":"2026-08-16T11:05:40.376094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.352821Z","title":"Institution-independent model theory","venue":null,"work_id":"6b1adb79-7f47-4658-a22e-6caa7b586164","year":2008},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.398267Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:3a7fbb6416e4e631abcaec55c2aace4c46354173025ec5fab41af354357f9079","observation_id":"1c8e925e-4a3d-43f3-b3f8-e13c31f2ecb8","resolution":{"observed_at":"2026-08-16T11:05:40.358014Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.335530Z","title":"Formal model theory and higher topology","venue":null,"work_id":"4d043fc7-4728-4d52-a352-44a427befce4","year":2024},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.403327Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:c36fd431d5daf20e5d265400946ec21dd39a354d086325f742d18eb7fc27b313","observation_id":"62917c47-8904-4a7a-a96f-64af3df4519d","resolution":{"observed_at":"2026-08-16T11:05:40.340687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.09264","last_updated":"2024-03-14T10:39:40Z","snapshot_observed_at":"2026-08-16T14:09:53.418790Z","submitted_at":"2024-03-14T10:39:40Z","title":"Sketches and Classifying Logoi","version":1},"cited_work":{"arxiv_id":"2403.09264","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.09264","snapshot_observed_at":"2026-08-16T11:05:39.796684Z","title":"Sketches and Classifying Logoi","venue":"math.CT","work_id":"85464bcc-4edc-4868-8c66-1857bed0be62","year":2024},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.408446Z"},"links":{"cited_paper":"/paper/2403.09264","citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:d1470cd4fe59db3d2c22166b55d2e950521737680faa1c04f68267bc445978ec","observation_id":"2066005d-591c-4613-ae45-9924c52ec1f9","resolution":{"observed_at":"2026-08-16T11:05:39.802043Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2211.00380","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:05:39.768250Z","title":"Kz-monads and kan injectivity","venue":null,"work_id":"eb96cb89-d8b7-4f10-8367-3468aacb6e83","year":2022},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.415767Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:aa02951889596b94a972d40519c989fce3e6e26c2355a191ff0e20fdc3c7b6e0","observation_id":"829b97da-4e2c-4b10-9ed1-339876df13f3","resolution":{"observed_at":"2026-08-16T11:05:39.777763Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.316575Z","title":"Bi-accessible and bipresentable 2-categories","venue":null,"work_id":"f5d3fbe9-4497-4eaa-b9a4-67763636cc68","year":2025},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.421222Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:c12543878e1c5d9e7427847cf2dd8018beb0f0a55af02d836520c47a90ad068d","observation_id":"0c6f250b-29cb-4750-9733-d58f460d9a81","resolution":{"observed_at":"2026-08-16T11:05:40.323555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.298919Z","title":"Relative pseudomonads, kleisli bicategories, and substitution monoidal structures","venue":null,"work_id":"decf2486-c896-4e43-8954-a1bfdf650294","year":2018},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.426199Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:2f8dd0f3db47426485207cade9e8c39f8de8b41368e9fcb782b388d94680c626","observation_id":"a2246aac-fb0d-4c51-b33a-60584c1f4211","resolution":{"observed_at":"2026-08-16T11:05:40.304143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.282249Z","title":"Lex colimits","venue":null,"work_id":"62f97012-6147-40cc-9ffd-295fbdc33990","year":2012},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.432698Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:e39890a659acc66d999c67361111df1d8920629105bc593cea7c56b94e0c2dc7","observation_id":"13e269a5-2668-468a-b800-c23cc029a391","resolution":{"observed_at":"2026-08-16T11:05:40.287244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.265873Z","title":"Topos annel \\'e s et sch \\'e mas relatifs","venue":null,"work_id":"055dedba-1f30-4c63-a13f-1961d749ac8b","year":1972},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.439972Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:fab161910c87a0a764db22470b2e0863af972bca08a060030f80df8c081d4d55","observation_id":"5b0a8c52-eada-45d5-a29c-a67f9b96d058","resolution":{"observed_at":"2026-08-16T11:05:40.271872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.245488Z","title":"Toposes with only preorders of points","venue":null,"work_id":"3e1ddab1-f2ed-44f0-bff5-1508271d6b33","year":2020},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.447637Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:3b685ad017e9ea2effb46e0308fb95a24369a59b3b97938d2492be23e84cd076","observation_id":"80829efb-efe0-4bbc-b50a-c63daa5a1559","resolution":{"observed_at":"2026-08-16T11:05:40.250872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.224438Z","title":"Definability and interpolation: model-theoretic investigations","venue":null,"work_id":"9f7c8a4e-b459-4d3b-922f-7e44aac20913","year":2001},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.453432Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:3bcf0abbf5950a5991f233cef47a7f1794eb7d27697dbe9a160cbe57e6557742","observation_id":"e7555af3-6534-4597-8dfe-c34e6595cc1a","resolution":{"observed_at":"2026-08-16T11:05:40.230516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.204649Z","title":"Limits in free coproduct completions","venue":null,"work_id":"dd5516e7-830f-44a7-b52a-8c90eef608a6","year":1995},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.459527Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:23b5facc737ddece532730e87788e18fdb6265593c9f3fa040523646254fef91","observation_id":"32a9f850-a144-484b-ae30-c0150166f4c9","resolution":{"observed_at":"2026-08-16T11:05:40.211762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.184743Z","title":"Local maps of toposes","venue":null,"work_id":"3f3a1222-cce6-46c7-880f-4d345143098c","year":1989},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.469468Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:f2050aa0df0cd8c69015bbce3dfc0898556d1842918d02ea28282e957043d5bc","observation_id":"c754ad1a-a755-4b2b-9d01-d5902798b255","resolution":{"observed_at":"2026-08-16T11:05:40.191197Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.164437Z","title":null,"venue":null,"work_id":"57845648-3507-484f-95b9-713f6c718780","year":1979},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.474675Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:0e77b469189e9be4179ce472b0e97862dd9d0246ca6ec3c8be33a1df64c95ddd","observation_id":"ec6c51c6-b6c0-476b-9b7f-e6a6bfedcf9b","resolution":{"observed_at":"2026-08-16T11:05:40.169386Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.141336Z","title":"Factorization theorems for geometric morphisms, i","venue":null,"work_id":"d51e531e-ddd2-4ffb-9441-1b4dd4b07700","year":1981},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.479621Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:ba4782e127cfac4b17ff24b9522cc2820295ca9826d3197d914add8e1ca92af1","observation_id":"5cef9c2b-e20b-435c-b12e-d75a525aed82","resolution":{"observed_at":"2026-08-16T11:05:40.147872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.120567Z","title":"Injective toposes","venue":null,"work_id":"506facbf-e724-4d22-bf6d-00eac274f45d","year":1981},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.485459Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:61cb0120a3ee908f90dc00e08e2241c9971ffb706ed3d96db60b912e9fec63af","observation_id":"77f34b7a-bb37-491f-bd10-3aee067980cb","resolution":{"observed_at":"2026-08-16T11:05:40.127672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.100792Z","title":"Johnstone","venue":null,"work_id":"6b56df7b-62d6-4c94-aa40-7c845af6ee98","year":2002},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.492633Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:bd50ebe29f39cda85c9a38cbb7423ba218bfff38a0539f4d85ea561a15226d59","observation_id":"092feddd-1b4a-41c1-bc66-c2478a37015c","resolution":{"observed_at":"2026-08-16T11:05:40.107135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.079997Z","title":"Johnstone","venue":null,"work_id":"0125c60b-cd2d-4fd7-83e3-6a30a2f5ee3e","year":2002},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.497985Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:b396f01ddefb6ee367ecb88e43d4c646afa9f2bdf5ad42add56fb727f525fee6","observation_id":"2e226640-c784-436e-83ea-9f6f62c27ea2","resolution":{"observed_at":"2026-08-16T11:05:40.085991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.04890","last_updated":"2024-04-02T19:39:58Z","snapshot_observed_at":"2026-08-16T17:01:21.573373Z","submitted_at":"2022-05-10T13:40:45Z","title":"Formal category theory in augmented virtual double categories","version":3},"cited_work":{"arxiv_id":"2205.04890","doi":null,"metadata_source":"pith","pith_arxiv_id":"2205.04890","snapshot_observed_at":"2026-08-16T11:05:39.629384Z","title":"Formal category theory in augmented virtual double categories","venue":"math.CT","work_id":"2320d847-d379-4df5-983b-263b593e4c1f","year":2022},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.504047Z"},"links":{"cited_paper":"/paper/2205.04890","citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:c22c57b2b9042c2dde23be75ad0dbaef7ba2b8908fccdbf48be2f2049abc501f","observation_id":"95b4fbac-f056-4247-8308-700743a50595","resolution":{"observed_at":"2026-08-16T11:05:39.637307Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.055472Z","title":null,"venue":null,"work_id":"229bb233-e1d8-4a61-ab6e-0e1d53a21d29","year":1977},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.509924Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:f26921a3c4349ab12bb0f30a8de049a684da28f1fae7f9b66b05264b397bfb79","observation_id":"35aa592b-0098-4e8c-8de9-2060bd19a577","resolution":{"observed_at":"2026-08-16T11:05:40.062081Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.034905Z","title":null,"venue":null,"work_id":"aa60a189-e328-4318-8dd7-f605c322d495","year":null},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.515321Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:56af2b18668bc303f8148ca266b2ceac76afe11ed31977fc062420c16cf34cd0","observation_id":"ed489ea9-c04c-4913-bac1-2f76cdbc064c","resolution":{"observed_at":"2026-08-16T11:05:40.041065Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:40.015786Z","title":"Stone duality for first order logic","venue":null,"work_id":"d3eb11fb-38ab-4ec3-afa3-65e8dd803103","year":1987},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.520702Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:59beb7f01ac57797aab34ab9db5152ff34ff9f7bca613a335462db6e97e31e3e","observation_id":"6120fb02-76d2-432b-a0b9-ae80e338ca0f","resolution":{"observed_at":"2026-08-16T11:05:40.021781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.996599Z","title":"Strong conceptual completeness for first-order logic","venue":null,"work_id":"80e883fd-2721-485a-91ff-b1c46cbc2485","year":1988},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.526779Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:f29a4f098f2bf4c7199e03ec75bd6dbeb02802b0d2d06a55cb2c07e8a7f4d2c4","observation_id":"96dc3e01-fccc-4c63-8e2e-193e28ce849f","resolution":{"observed_at":"2026-08-16T11:05:40.002765Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.532627Z","title":"Categories for the working mathematician , volume 5","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.532627Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:9c482914c9bb3cea72e435ba6ff9d87b7b043f21bb26db228b0812dcefea0672","observation_id":"fe4a000e-53c3-4817-a2a1-7647fa370fc2","resolution":{"observed_at":"2026-08-16T11:05:39.532627Z","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-16T11:05:39.969670Z","title":"Locale morphisms with exact direct image functor in sheaves","venue":null,"work_id":"7eb5da02-6bfd-448a-a397-b2da7adc5f7d","year":2005},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.538587Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:41fd13517ed4ead148a3ee0d3a94b5587dab4b4fe1ca96b8a6345678d188c272","observation_id":"9c3ff31b-f89f-4a78-91d5-d6ce745a75b6","resolution":{"observed_at":"2026-08-16T11:05:39.974807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.952349Z","title":"On a generalization of quantifiers","venue":null,"work_id":"1d71638b-9df1-4d7f-884a-93ae0f0fc38e","year":1957},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.545805Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:3ec3a638d9bba392598be7cce7140f8b236af635d552decfe977c814f5786c35","observation_id":"af795780-35ec-4f49-b086-a7a27d695d92","resolution":{"observed_at":"2026-08-16T11:05:39.957729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.934951Z","title":"Proper maps of toposes , volume 705","venue":null,"work_id":"bc668bf8-95f6-41df-84c1-c4b0b19de933","year":2000},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.553388Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:4b00d5ef75574428a0f2a797c7f309406e50f8156532d016ee34c1f73dbde431","observation_id":"f6826529-f6a2-457f-91db-a504599a58ad","resolution":{"observed_at":"2026-08-16T11:05:39.940503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.918249Z","title":"Fibrations and yoneda's lemma in a 2-category","venue":null,"work_id":"e0a427de-fd95-4f74-a25e-1252e5444dd1","year":1974},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.560082Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:14b0f215b8ce0f95605cd716911582671d4a823f75908f1b07156ab4109171f4","observation_id":"8844ef24-bad8-405b-9947-78523c4fe678","resolution":{"observed_at":"2026-08-16T11:05:39.923347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.902718Z","title":"Distributive laws via admissibility","venue":null,"work_id":"658dd695-dc95-4fab-a479-f401aa324f3a","year":2019},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.566065Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:8fab034cdcd68775e9306aa6d57f38e775d42d13acfc9e6e8ebbfeebfe5e8f59","observation_id":"eac2a893-9e9e-4280-82bc-0e3615d41810","resolution":{"observed_at":"2026-08-16T11:05:39.907303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.887257Z","title":"Abstract pro arrows i","venue":null,"work_id":"fa3bfa32-4bf5-40c1-b728-6ddfd2be69f4","year":1982},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.572155Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:415be0c7c45dc02d0188f8f04a5b63948ef4b474f7b71ad499218dc4f1d10795","observation_id":"fe095844-4e56-4bb2-a619-aef6c483d829","resolution":{"observed_at":"2026-08-16T11:05:39.892070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.867873Z","title":"Proarrows ii","venue":null,"work_id":"87748278-6dab-4676-9323-2b1b93c98bb3","year":1985},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.579916Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:cf0bd127c5ef00afe7c618b1e075608dd53dcd512f227f2b3d3b5be81320a4fc","observation_id":"5ca1aa4e-7ae9-4707-a944-9efc2a0b3571","resolution":{"observed_at":"2026-08-16T11:05:39.875030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T11:05:39.848789Z","title":"Doctrines on 2-categories","venue":null,"work_id":"6afe2762-b7cc-4372-b3d5-a86a98d93e81","year":1976},"citing_paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-16T11:05:39.585315Z"},"links":{"citing_paper":"/paper/2504.16690"},"observation_digest":"sha256:ec44a090496d983efb85b69a58cfe02bdd06e800024e815191a387261e92fafd","observation_id":"6e6d7583-18ac-4c62-aabd-037b81f80399","resolution":{"observed_at":"2026-08-16T11:05:39.856489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.16690","last_updated":"2025-05-21T15:16:07Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-20T19:34:32.540926Z","submitted_at":"2025-04-23T13:21:57Z","title":"Logic and Concepts in the 2-category of Topoi"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":3,"verified_fuzzy":33},"total_outbound_references":43},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 2 inbound Pith citation observations for arXiv:2504.16690."}