{"as_of":"2026-08-10T14:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5de8c270b3726b19aa79f343dbfa9572274b6644fc0aed3213a18088a6ee39c7","coverage":[{"denominator":69,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":69,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T09:25:58.212675Z","state":"measured"},{"denominator":70,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":70,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T01:26:37.719299Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.15795","snapshot_observed_at":"2026-08-04T01:26:37.719299Z","title":"Synthetic perspectives on spaces and categories","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.00095","last_updated":"2026-07-30T16:57:50Z","snapshot_observed_at":"2026-08-06T23:11:52.848029Z","submitted_at":"2026-07-30T16:57:50Z","title":"Internal Algebraic Type Theory","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T01:26:37.719299Z"},"links":{"cited_paper":"/paper/2510.15795","citing_paper":"/paper/2608.00095"},"observation_digest":"sha256:554394da470480c9d0ed2a4f99c96545c4430da353fa962933b01192089317c1","observation_id":"f66193fe-90da-4cf8-a0ce-46fd3234abe9","resolution":{"observed_at":"2026-08-04T01:26:37.719299Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2510.15795/citation-record","integrity":"/paper/2510.15795/integrity","json":"/paper/2510.15795/citation-record.json","paper":"/paper/2510.15795"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:54.083923Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:54.083923Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:34c1a569f57b983b14e834a25f277e1d872c179d086e7a11720a30fc4404590e","observation_id":"fe0ed7de-951b-4b09-a27c-cf8c162111ff","resolution":{"observed_at":"2026-08-04T09:25:54.083923Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3632920","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Altenkirch, Y","venue":"Proceedings of the ACM on Programming Languages","work_id":"7f2ad437-83b0-4491-bcc1-dab759957e97","year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:54.309112Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:979469320bc13a1fc62d796686b6c8691d0ac2939c0ed4b59f99accbac6feb96","observation_id":"b390fbbc-2c69-4ee4-94f4-cadf9d828c35","resolution":{"observed_at":"2026-08-04T09:28:28.639584Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/conm/657/13088","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Antol\\'in Camarena , A whirlwind tour of the world of ( ,1) -categories , in Mexican mathematicians abroad: recent contributions, vol","venue":"Contemporary mathematics - American Mathematical Society","work_id":"68055378-7144-404e-9063-12f51fed19f8","year":2016},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:54.424550Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:6df20b3b94cb655acb7e2391aa7fd8fd67ee5b3eedbb39c4797271105865863d","observation_id":"ad6120f8-edfa-4bf3-a816-2d6c0377acf6","resolution":{"observed_at":"2026-08-04T09:28:28.510595Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.18497","last_updated":"2026-04-20T16:54:17Z","snapshot_observed_at":"2026-08-06T17:48:04.102010Z","submitted_at":"2024-06-26T17:00:33Z","title":"The equivariant model structure on cartesian cubical sets","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.18497","snapshot_observed_at":"2026-08-04T09:25:54.510136Z","title":"Awodey, E","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:54.510136Z"},"links":{"cited_paper":"/paper/2406.18497","citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:a858f6eb68bacdd7d2da0607d8cf059997f30d2d0cf9a675fa577f09a52127a9","observation_id":"cf671fea-a9cf-4beb-81bf-4e8f3ff39402","resolution":{"observed_at":"2026-08-04T09:25:54.510136Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:54.665289Z","title":"Awodey and M","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:54.665289Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:1656621f304f825c2163f37867ce8b2def95450873a00b74816fe608e0cbea3d","observation_id":"e25f56e7-e5ed-48e1-a4c0-28dfa446f03d","resolution":{"observed_at":"2026-08-04T09:25:54.665289Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:54.813772Z","title":"Bardomiano Mart\\' i nez , Limits and colimits of synthetic -categories , 2024, https://arxiv.org/abs/2202.12386","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:54.813772Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:0cd7a7367db3cc4343309879d2b2f9ea040829beff8da958d6f9c92e5094f7d8","observation_id":"8f3c51a6-5faf-46ff-9544-1c32e310b87c","resolution":{"observed_at":"2026-08-04T09:25:54.813772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:54.925481Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:54.925481Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:d00c3103d06fd2d47d1ca0272263d56780e205b458294ebcd97738294eab987f","observation_id":"699260ad-a1bc-4df0-a398-e9461a9bea5b","resolution":{"observed_at":"2026-08-04T09:25:54.925481Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:55.035256Z","title":"Bezem, U","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:55.035256Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:1b98ca1c9f8e318c8fa8094aa4db99fba8df9383b6f0fcf0b3a6a0860a34a058","observation_id":"ef987595-9146-46c1-a1a6-d4126a405ee0","resolution":{"observed_at":"2026-08-04T09:25:55.035256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:55.159057Z","title":"Blechschmidt , Using the internal language of toposes in algebraic geometry , PhD thesis, Universit\\\" a t Augsberg, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:55.159057Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:83a06b3f35caeb91f4a910aa4abf88fe7a1131c0670adf0a7490d7fb5afe5ff7","observation_id":"4a682ba0-84d4-4ff7-9d72-c266361819c9","resolution":{"observed_at":"2026-08-04T09:25:55.159057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0068547","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in mathematics","work_id":"334879ad-0dbf-46a6-a924-2a29961023b9","year":1973},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:55.312261Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:ca129d76d55ba22807d94075b55606f081afbd808afe38c78d73604ef4e3b814","observation_id":"4ffc358b-2171-4227-866a-c15a67b8fe60","resolution":{"observed_at":"2026-08-04T09:28:28.385670Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-018-9468-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Brunerie , The J ames construction and _4( S ^3) in homotopy type theory , J","venue":"Journal of Automated Reasoning","work_id":"e74e5dd9-874b-4091-b5e0-6b7ceb034589","year":2019},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:55.468512Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:fd2e18b293a7168f6ba3dd31761b4d5c660deec0269aad18092989300204ee04","observation_id":"27ff3e30-b6b9-4090-8f48-97b32f5db0c5","resolution":{"observed_at":"2026-08-04T09:28:28.257239Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-04T09:25:55.602480Z","title":"Buchholtz, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:55.602480Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:5ee4168bc39d85c7a0b899535e71834b89ab288391b0c23922ea31e3730f359d","observation_id":"c3ed8df8-a3e2-4f32-88d3-1cd3c9e4e57e","resolution":{"observed_at":"2026-08-04T09:25:55.602480Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:55.779843Z","title":"Buchholtz, F","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:55.779843Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:5cde022b93285cc6d3c27f42bdb75369748c1ed55df13be7e4c918623ce38ee9","observation_id":"59535581-4e76-4ea8-bed9-a9e3a39e7bc6","resolution":{"observed_at":"2026-08-04T09:25:55.779843Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:55.880696Z","title":"Buchholtz and J","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:55.880696Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:97e8d94046632f62de43f63c6929d1c40fbdb990afb0184e7835280320772ec5","observation_id":"758989a9-badd-4b47-94e3-c51c61b66faf","resolution":{"observed_at":"2026-08-04T09:25:55.880696Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2020.14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cavallo, A","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"dadd7d36-ce73-449a-9554-9acc7b7827e6","year":2020},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:56.042307Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:09279a24280fae432f042cdc478c9813af6c2a326b0e8ca8590a776ec1c40ef3","observation_id":"6650d5b7-9174-4699-bd5b-d8c2cc6e1148","resolution":{"observed_at":"2026-08-04T09:28:28.029444Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-04T09:25:56.175032Z","title":"Cavallo, E","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:56.175032Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:95ffae5d63ed68ec2fbef184bfb368967625a74aa8f5d89374e2bc4e399a2a29","observation_id":"bbe76f16-8254-4589-b139-95a09ed3d6ff","resolution":{"observed_at":"2026-08-04T09:25:56.175032Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:56.350967Z","title":"Cavallo and C","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:56.350967Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:516efbbb7bcee9c23fbbafc869f948a8b87e1fdfac0319a8d2498579b8c09dd5","observation_id":"36dae8d6-1990-4d8f-96db-551881622828","resolution":{"observed_at":"2026-08-04T09:25:56.350967Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:56.461358Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:56.461358Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:d9d242736e274b474956d802ee4a3e0dd5df1380a8b28451e5e6f1327073db8b","observation_id":"fb3d97b7-d511-4a96-abef-09d3d92cb0de","resolution":{"observed_at":"2026-08-04T09:25:56.461358Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.types.2024.3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cherubini, T","venue":"arXiv (Cornell University)","work_id":"250c4e28-e9d1-400b-be6d-52f5a17c6c7a","year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:56.537840Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:84320be50b0f42ffb6825594424fe48ce32c1c90efa6d061261248adf4e0019e","observation_id":"a1406d08-5515-4c6a-88e3-94f56b0ec7d8","resolution":{"observed_at":"2026-08-04T09:28:27.879109Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-04T09:25:56.635167Z","title":"Cherubini, T","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:56.635167Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:e72e76ac8c565e2ed429fefd9e4880b0d42ed2e42f471afcd979db88c0b9bbce","observation_id":"14f972fc-5e7b-457a-ad7b-7e71e315dc9f","resolution":{"observed_at":"2026-08-04T09:25:56.635167Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:56.733492Z","title":"Cisinski , Higher categories and homotopical algebra , vol","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:56.733492Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:221f570937650cda8690d0dd45e31cb3aa3355689cb922063ebc41242854ae84","observation_id":"5b8ad781-befc-4df0-8daf-b8bc5728ebeb","resolution":{"observed_at":"2026-08-04T09:25:56.733492Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:56.883551Z","title":"Cisinski, B","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:56.883551Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:e5776e50943748ac4624e3db8e8cad26359a4a9327165d2e17a7da9ffea7f698","observation_id":"5577fa9b-fc46-4b25-82ac-279d7cd27976","resolution":{"observed_at":"2026-08-04T09:25:56.883551Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.08945","last_updated":"2022-10-17T11:22:12Z","snapshot_observed_at":"2026-07-06T14:06:37.385924Z","submitted_at":"2022-10-17T11:22:12Z","title":"The universal coCartesian fibration","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.08945","snapshot_observed_at":"2026-08-04T09:25:57.059857Z","title":"Cisinski and H","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.059857Z"},"links":{"cited_paper":"/paper/2210.08945","citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:bfa36d2e96d63b8cf0487275dc0f5014d75704b39649799652b6db0ff31a1cfd","observation_id":"41a8c321-7e36-4ebc-afd1-ff24848c2f2c","resolution":{"observed_at":"2026-08-04T09:25:57.059857Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:57.208673Z","title":"Clausen and P","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.208673Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:9b62341095fb64f6f496b6ef37600d67c6bd685ae54679255b5c198277b27c01","observation_id":"9da4c518-9b87-4bb1-84c1-ffea1fbec991","resolution":{"observed_at":"2026-08-04T09:25:57.208673Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:57.336158Z","title":"Coquand and N","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.336158Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:a7fc5d23ed1bfc6dcae810ea38ed86872f25f6068a12726eabe1d5121799fa41","observation_id":"c5f3f8f8-2e2a-44b6-97f9-512862a6e334","resolution":{"observed_at":"2026-08-04T09:25:57.336158Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:57.388669Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.388669Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:282fa01666aa71a32df105153bc05c1d8a536f476c18a4ffc45aecafdcec4c57","observation_id":"c6b11004-4457-401a-ac06-acbb2e848644","resolution":{"observed_at":"2026-08-04T09:25:57.388669Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/1969364","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Eilenberg and J","venue":"Annals of Mathematics","work_id":"7557b77f-9182-48a6-a464-64d58d875772","year":1950},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.431173Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:7242076d710626cc3bf8a44748533258327f84127501fd5c3217a4ccfdd1ff9f","observation_id":"20ff17fb-dd1c-4a7d-9be3-af1cc8d94ca7","resolution":{"observed_at":"2026-08-04T09:28:27.775915Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-04T09:25:57.552466Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.552466Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:230d22ee0024908198b143b9448136621753b22afce2511431b1d4dbdb57e0dc","observation_id":"a8ac5263-68a4-4a81-b907-549e81a6d1fd","resolution":{"observed_at":"2026-08-04T09:25:57.552466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:57.709205Z","title":"Gabriel and M","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.709205Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:527e3a042c74dee1cd039ca60388562af2f4aae6721ea2620d886a08a9f2a445","observation_id":"7bc9c7c8-8a3f-4657-82e3-db5df3c6406a","resolution":{"observed_at":"2026-08-04T09:25:57.709205Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2008.08.030","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gambino and R","venue":"Theoretical Computer Science","work_id":"28862981-08a8-4ff8-af07-f08c333f4b28","year":2008},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.835373Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:c13b94ff7e49e9c717731a662d4e16fee71b0052750b7420744a3846f4a1e3a3","observation_id":"5e18a6f6-0a3a-4b56-95c5-8cbd2f8949e7","resolution":{"observed_at":"2026-08-04T09:28:27.623228Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-04T09:25:57.952104Z","title":"Gambino and C","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.952104Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:341e45877627e06c882eb6a143fc3ad1c3971d430118bd4668390a0f47e55901","observation_id":"84c7caa7-3a0b-4ec2-9523-20d4ac404f45","resolution":{"observed_at":"2026-08-04T09:25:57.952104Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:57.977716Z","title":"Gratzer, J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.977716Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:ee78c38fe47364af8cc657afc521d2abcd973face9281f89378c2a3e461a3a6f","observation_id":"20387b54-e685-4819-ab36-17ebd5ae861a","resolution":{"observed_at":"2026-08-04T09:25:57.977716Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:57.991927Z","title":"Gratzer, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.991927Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:8b93b386c7ffa04ebc95a5b5ad4e090b47d58c0820cbd17bfecf585ba94e3448","observation_id":"55aa1f47-97b6-4d97-9d59-34e6a49aabbd","resolution":{"observed_at":"2026-08-04T09:25:57.991927Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:57.997423Z","title":"Grothendieck , Sur quelques points d'alg\\`ebre homologique , Tohoku Math","venue":null,"work_id":null,"year":1957},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:57.997423Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:bc98a2fdd3e80db5862d3e74cf2c3e3666be721292c7334f9b966cbf60901c68","observation_id":"91ffe1ab-209c-4838-9175-66f9f8f30b35","resolution":{"observed_at":"2026-08-04T09:25:57.997423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.004017Z","title":"Grothendieck , Pursuing stacks (\\`a la poursuite des champs)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.004017Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:3946a69b337582d9fc9949e399c978b5e41fe62d7834a3d8f8ddc7fb0915a6c2","observation_id":"dc34ad57-922b-40be-b57b-cb3debe10bda","resolution":{"observed_at":"2026-08-04T09:25:58.004017Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.008900Z","title":"Joyal , Quasi-categories and K an complexes , vol","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.008900Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:4c17f40f857c630c243c3bd4ec32282f0d0a04e70b3d0915e289b41f62215e55","observation_id":"534c9e56-ad6a-4980-b8cb-bee5d6f8e3c9","resolution":{"observed_at":"2026-08-04T09:25:58.008900Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2372558","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"American Journal of Mathematics","work_id":"cd726503-0d0b-44e7-aed3-2a3c567475de","year":1957},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.013644Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:619d71bb841a88fa4ead492652175d53c9b21123e03bc454a2d693a9a7a31b2c","observation_id":"446e5261-45b6-47de-a9c2-8c03d8064897","resolution":{"observed_at":"2026-08-04T09:28:27.515070Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-04T09:25:58.020234Z","title":"Kapulkin and P","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.020234Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:fd39495fd02dc33bc6ff7724c7ddaf3866eeba5d9896f76678dea86e331b83b2","observation_id":"27478818-8b80-4b05-ac4d-67c4ad4303b2","resolution":{"observed_at":"2026-08-04T09:25:58.020234Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.026814Z","title":"Kazhdan and Y","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.026814Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:632357cd6ac0b4d8d4b918d7fe6568589319c826140cfbf6e03a331228b59980","observation_id":"811ec912-5b42-40d1-bcbb-cd431719c9a2","resolution":{"observed_at":"2026-08-04T09:25:58.026814Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.034662Z","title":"Kudasov , Rzk , https://github.com/rzk-lang/rzk","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.034662Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:1f2f13ecec9e1f32e71ec84af6650959d9883d0bc89619a1ba13a320361a527c","observation_id":"831d48d0-e4ed-434c-b85b-f51b1bb72162","resolution":{"observed_at":"2026-08-04T09:25:58.034662Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.039445Z","title":"Kudasov, E","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.039445Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:93718012f3093d0b0209a45b991789690e65dd3590aa8ca207e0d62293d4e816","observation_id":"eb531d94-4643-479a-a1fa-2817c8cd9286","resolution":{"observed_at":"2026-08-04T09:25:58.039445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.044722Z","title":"om and A. M\\","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.044722Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:fcaefc7d2d1b74e7c8ee3e34041442e2a0cb6bc9b88ba22bab8ebff740dfc62b","observation_id":"458ecbdf-fd9f-4b44-9219-563f9c602264","resolution":{"observed_at":"2026-08-04T09:25:58.044722Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.050891Z","title":"Lurie , Higher topos theory , vol","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.050891Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:3fb65f6732565f72090ef1b3ba3d6deca333646f8812f76e427cdc1c7885d8aa","observation_id":"1a5c79e7-4c7e-4fcc-9672-dcc7e988e8bb","resolution":{"observed_at":"2026-08-04T09:25:58.050891Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.056021Z","title":"Mac Lane and I","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.056021Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:16aa301ff49d7a3f2d01745a27d30333849a0ed02a6713f034e3ca5ca9380ea7","observation_id":"ef6f2252-b14d-4cc7-bfae-09c9491f504b","resolution":{"observed_at":"2026-08-04T09:25:58.056021Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.061649Z","title":"Makkai , First order logic with dependent sorts, with applications to category theory","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.061649Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:97c6a75a0191b876292f86527227e2243b0ac4cfa044d6b0fed47e654269854a","observation_id":"5fbb076a-b244-4125-873e-7fb67a206f12","resolution":{"observed_at":"2026-08-04T09:25:58.061649Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.17141","last_updated":"2022-04-01T07:12:19Z","snapshot_observed_at":"2026-07-06T10:55:22.506340Z","submitted_at":"2021-03-31T15:06:12Z","title":"Yoneda's lemma for internal higher categories","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.17141","snapshot_observed_at":"2026-08-04T09:25:58.066394Z","title":"Martini , Yoneda's lemma for internal higher categories , 2022, https://arxiv.org/abs/2103.17141","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.066394Z"},"links":{"cited_paper":"/paper/2103.17141","citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:ef950b52a6ff0e6a3c2d579109b8b9dcf647cf4517f22dea17195a521383ea18","observation_id":"6cc34258-7cba-4f57-b55d-fafcfb69bbb8","resolution":{"observed_at":"2026-08-04T09:25:58.066394Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.073659Z","title":"Martini and S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.073659Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:64c70b050db00e46b55c36dd8dce6d875c244ee6fd5f74c7f11605a89b6737c4","observation_id":"4bdd77e2-044c-46d6-9b56-df6cf1c748b6","resolution":{"observed_at":"2026-08-04T09:25:58.073659Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.079142Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.079142Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:4188a0255806522ac5608c125b1e4202e0696582386b2f104151ca539f1df228","observation_id":"cd130a59-2154-4821-9fd5-7fb594f2bae7","resolution":{"observed_at":"2026-08-04T09:25:58.079142Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.084468Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.084468Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:45c44989a93d7056d4798d44444c37b379d9e0e7d81b1ad528fa52a1a56bc609","observation_id":"1572778c-ea06-47a0-9f1c-50c6a90d55cc","resolution":{"observed_at":"2026-08-04T09:25:58.084468Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.07737","last_updated":"2025-08-12T05:54:26Z","snapshot_observed_at":"2026-08-05T21:55:15.727141Z","submitted_at":"2025-08-11T08:14:48Z","title":"Simplicial Homotopy Type Theory is not just Simplicial: What are $\\infty$-Categories?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.07737","snapshot_observed_at":"2026-08-04T09:25:58.092218Z","title":"Rasekh , Simplicial H omotopy T ype T heory is not just S implicial: W hat are - C ategories? , 2025, https://arxiv.org/abs/2508.07737","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.092218Z"},"links":{"cited_paper":"/paper/2508.07737","citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:64a71d0363693cc63ec55f0295e82274aef8063fc07578329fa715e31c63f978","observation_id":"f746ad08-9f42-410b-bb5b-41dc9ad46afb","resolution":{"observed_at":"2026-08-04T09:25:58.092218Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.098862Z","title":"Rezk , Toposes and homotopy toposes","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.098862Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:1b1bc72fe7c5edc14382cc63b21b1f4cd5c280a333a61e2e3e7c0ed7b9499335","observation_id":"6d91c936-c935-47cf-a3b4-38a704632b65","resolution":{"observed_at":"2026-08-04T09:25:58.098862Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.104525Z","title":"Riehl , Could -category theory be taught to undergraduates? , Notices Amer","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.104525Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:b3ca1e4505d1bccf5f6d1272bfc57a0f2026eb930a63e5a2ec0a488fd4d33db6","observation_id":"ffa9361a-4a57-4f75-aa4b-bc12783eda5e","resolution":{"observed_at":"2026-08-04T09:25:58.104525Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1112/blms.12997","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Riehl , On the -topos semantics of homotopy type theory , Bull","venue":"Bulletin of the London Mathematical Society","work_id":"69253715-ced9-471d-9ef4-c6a179f19dc1","year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.109439Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:bf0e471fee9fa1f7232489ff58dc24e4686908abe3e07b61eee2ed4ae5b31c83","observation_id":"e07e218a-83bf-4eae-95af-3a591fc68038","resolution":{"observed_at":"2026-08-04T09:28:27.340938Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-04T09:25:58.115800Z","title":"Riehl and M","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.115800Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:5ba9496567775c3e98f0e6a632254e69afcc04c61f5f95de8e9e807fb02c60c6","observation_id":"eb87a23a-20e4-4d8d-8ea9-1943ce3d632c","resolution":{"observed_at":"2026-08-04T09:25:58.115800Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.122860Z","title":"Riehl and D","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.122860Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:3f2649cdb5c05c037ab4f1899e1a2209df784f5f6b84f01b1ccf4f515f299f53","observation_id":"36791e0f-a0f4-489d-b488-fff4d4d268cf","resolution":{"observed_at":"2026-08-04T09:25:58.122860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.130323Z","title":"Riehl and D","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.130323Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:e0d20ec292a46a205114686310e055f191488afa58c6adf16cf798f64618bd7e","observation_id":"199f6888-64d5-4726-83aa-7c56aa180637","resolution":{"observed_at":"2026-08-04T09:25:58.130323Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.11082","last_updated":"2022-12-21T18:48:20Z","snapshot_observed_at":"2026-08-07T06:19:56.104495Z","submitted_at":"2022-12-21T18:48:20Z","title":"Introduction to Homotopy Type Theory","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.11082","snapshot_observed_at":"2026-08-04T09:25:58.136473Z","title":"Rijke , Introduction to Homotopy Type Theory , Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2025, https://arxiv.org/abs/2212.11082","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.136473Z"},"links":{"cited_paper":"/paper/2212.11082","citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:b6c85adf4844d795ab8ca71133fd1ccfef9d901b04ccd069e608433ea872d561","observation_id":"7e4e882d-8dbe-4b71-936f-bff59ddc1246","resolution":{"observed_at":"2026-08-04T09:25:58.136473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.144161Z","title":"Shulman , The univalence axiom for elegant R eedy presheaves , Homology Homotopy Appl., 17 (2015), pp","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.144161Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:5b3ff15ceaacc8c84ee781fc91292a371cf563775a658b3e9dd0598e68faff73","observation_id":"739fc408-bf70-42f4-8a11-2914c7f187b6","resolution":{"observed_at":"2026-08-04T09:25:58.144161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.151429Z","title":"Shulman , Homotopy type theory: a synthetic approach to higher equalities , in Categories for the working philosopher, Oxford Univ","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.151429Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:e71d8280a063d20e6ab75de9a0559e2befca528fe31ae77a9dc250f53fb6a3f7","observation_id":"66860147-2a5b-4ffd-ad80-b1cc8b1371a7","resolution":{"observed_at":"2026-08-04T09:25:58.151429Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1904.07004","last_updated":"2019-04-26T18:58:14Z","snapshot_observed_at":"2026-08-10T07:53:33.587651Z","submitted_at":"2019-04-15T12:45:00Z","title":"All $(\\infty,1)$-toposes have strict univalent universes","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1904.07004","snapshot_observed_at":"2026-08-04T09:25:58.156735Z","title":"Shulman , All ( ,1) -toposes have strict univalent universes , 2019, https://arxiv.org/abs/1904.07004","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.156735Z"},"links":{"cited_paper":"/paper/1904.07004","citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:9d450595a9c684550c33571301bc6fd204fd223bbfd83f16225b9abf5869e176","observation_id":"4451349d-b56b-4e3a-8892-c1af80674247","resolution":{"observed_at":"2026-08-04T09:25:58.156735Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/bull/1830","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Shulman , Strange new universes: proof assistants and synthetic foundations , Bull","venue":"Bulletin of the American Mathematical Society","work_id":"aa22cd10-2fab-4821-ba3c-628dc4c968b5","year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.164060Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:a1129bd672dfab5c99fbde38d0534d997b559ad3d08f57a2a17b842879dbc34b","observation_id":"5bc15a82-6d62-44f7-ad7f-394ea0f61aa0","resolution":{"observed_at":"2026-08-04T09:28:27.181129Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-04T09:25:58.170369Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.170369Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:a4c5852614344b3e85fd1092a23a047d9e98c9862a0aa03ea100d88faa22321c","observation_id":"847e6384-1b28-43df-85c3-e3d9645be7c2","resolution":{"observed_at":"2026-08-04T09:25:58.170369Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.176647Z","title":"Stenzel , On univalence, Rezk completeness, and presentable quasi-categories , PhD thesis, University of Leeds, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.176647Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:0185a69e3e6b23704f1c0cc777dc257fd2356397a8f20e09dec8ac4f5039026e","observation_id":"f9eb0b46-eb79-4a91-bff0-567bc0e4b147","resolution":{"observed_at":"2026-08-04T09:25:58.176647Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.183974Z","title":"Street , Fibrations in bicategories , Cahiers Topologie G\\'eom","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.183974Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:d741fa9228df77aa561a30eb21e8296221163696693af787c8d24790fbb56c38","observation_id":"ccef6cfa-655f-4d57-a508-f4c9d63bf91f","resolution":{"observed_at":"2026-08-04T09:25:58.183974Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.189325Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.189325Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:466c0aa5b2196198d64ce2b1118a0ec3b6b3d9aef4b819931814c3c01a8d6147","observation_id":"ee8fdd5f-6e11-4072-b21e-91dc14ffc433","resolution":{"observed_at":"2026-08-04T09:25:58.189325Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.194033Z","title":"Verdier , Des cat\\'egories d\\'eriv\\'ees des cat\\'egories ab\\'eliennes , Ast\\'erisque, (1996), pp","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.194033Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:39f9bf0aa037dbe95a978c9efc956de7c87574ff929da0211264a95cac1f82e5","observation_id":"9fda7f6e-ab6f-4e14-969d-4a62e1c144a1","resolution":{"observed_at":"2026-08-04T09:25:58.194033Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.200335Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.200335Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:68700f716bf346108f1c40beae12d735c8e2ff3262afff062dcb29be1a121c89","observation_id":"b3acfe23-c6c8-4b8b-89f1-632626806715","resolution":{"observed_at":"2026-08-04T09:25:58.200335Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.07194","last_updated":"2026-06-06T14:57:03Z","snapshot_observed_at":"2026-08-04T22:37:01.106630Z","submitted_at":"2022-03-14T15:34:19Z","title":"Strict stability of extension types","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.07194","snapshot_observed_at":"2026-08-04T09:25:58.205213Z","title":"Weinberger , Strict stability of extension types , 2022, https://arxiv.org/abs/2203.07194","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.205213Z"},"links":{"cited_paper":"/paper/2203.07194","citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:202835d6f7ff0ff3caff0abb5c956e2c409c9790a4519caca993902e88d872da","observation_id":"5f644937-bc91-436c-a8f5-6173f9fb170b","resolution":{"observed_at":"2026-08-04T09:25:58.205213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:25:58.212675Z","title":"Weinberger , Two-sided cartesian fibrations of synthetic ( ,1) -categories , J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories","version":2},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-04T09:25:58.212675Z"},"links":{"citing_paper":"/paper/2510.15795"},"observation_digest":"sha256:d8a38333453e7ebc1c04125f44a52d7c17dbd496ba2d4f8df1047f24727b8155","observation_id":"bca75930-4ac9-449a-940c-2a3a04ccf549","resolution":{"observed_at":"2026-08-04T09:25:58.212675Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2510.15795","last_updated":"2026-07-16T15:52:24Z","latest_version":2,"primary_category":"math.CT","snapshot_observed_at":"2026-08-06T23:40:47.462375Z","submitted_at":"2025-10-17T16:16:55Z","title":"Synthetic perspectives on spaces and categories"},"reference_resolution":{"displayed":69,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":58,"verified_exact":11,"verified_fuzzy":0},"total_outbound_references":69},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 69 of 69 outbound references and 1 inbound Pith citation observation for arXiv:2510.15795."}