{"as_of":"2026-08-13T01:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3f3cbcf8ac15c5d69811a289258054f189f142fe8b4989764d3e6bbc1c6ae137","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T18:13:05.462700Z","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-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2501.11620/citation-record","integrity":"/paper/2501.11620/integrity","json":"/paper/2501.11620/citation-record.json","paper":"/paper/2501.11620"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2012.16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.720438Z","title":"‘A Syntactical Appro ach to Weak ω-Groupoids’","venue":null,"work_id":"76e093a0-99c5-412f-9872-95c40350a0b5","year":2012},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.237921Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:ca1f2ccb175d2702365e96d382f3686f03f376ee585f789200e0d9823a9b262c","observation_id":"59e961ca-0873-432e-93d2-a280917b55e9","resolution":{"observed_at":"2026-08-10T18:13:05.726120Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.466987Z","title":"‘Sur les ∞-groupo ¨ ıdes de Grothendieck et une variante∞- cat´ egorique’","venue":null,"work_id":"4dc46154-4dd7-46cc-b820-cbeff4577d66","year":2010},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.243923Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:bed1b73fb6394a523484c2c4559abfe791138dcff986421ebdeac58b71ebc62e","observation_id":"5ab2bf3d-03fd-4e27-a1d3-9ef02143a1df","resolution":{"observed_at":"2026-08-10T18:13:06.472309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1909.13564","last_updated":"2020-09-04T13:42:53Z","snapshot_observed_at":"2026-08-12T14:08:41.486019Z","submitted_at":"2019-09-30T10:05:41Z","title":"The folk model category structure on strict $\\omega$-categories is monoidal","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.13564","snapshot_observed_at":"2026-08-10T18:13:05.249124Z","title":"‘The folk model category structur e on strictω-categories is monoidal’","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.249124Z"},"links":{"cited_paper":"/paper/1909.13564","citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:24e91240249f347b21b815ca27613451f57d210a5180ad230dca8d57271012be","observation_id":"5e86d9ee-9407-4a30-a1bc-4818cd8e582a","resolution":{"observed_at":"2026-08-10T18:13:05.249124Z","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.24033/msmf.473","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.703927Z","title":"‘Joint et tranches pour les ∞- cat´ egories strictes’","venue":null,"work_id":"62011cbd-fd5a-48e0-9848-5d7ad1e13651","year":2020},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.255840Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:23481fb3ae8fbb28524a7a33df040d8e61c871f0afae38935ab98fa79c7861a4","observation_id":"1accc74d-b1f5-4ade-b7c2-bcb645681549","resolution":{"observed_at":"2026-08-10T18:13:05.709250Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:05.261068Z","title":"Baez and James Dolan","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.261068Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:acc70cfdae8a38b41d4248445000d4de9785a13d5177d92b4f04859384eeec1c","observation_id":"e594763d-9721-4ed5-80e6-5f3f9dd8cd10","resolution":{"observed_at":"2026-08-10T18:13:05.261068Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1509.06811","last_updated":"2015-09-22T23:29:02Z","snapshot_observed_at":"2026-07-06T04:30:44.067910Z","submitted_at":"2015-09-22T23:29:02Z","title":"Modular categories as representations of the 3-dimensional bordism 2-category","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1509.06811","snapshot_observed_at":"2026-08-10T18:13:05.266213Z","title":"‘Modular categories as representations of the 3- dimensional bordism 2-category’","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.266213Z"},"links":{"cited_paper":"/paper/1509.06811","citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:c08e42f2ed1efdaf92438ac76e790a7ebe32c9d78d450ec140f6bbf788d106d0","observation_id":"1f2a4aad-0c83-405d-8687-fb9c1d29ede6","resolution":{"observed_at":"2026-08-10T18:13:05.266213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"math/0209035","last_updated":"2002-09-04T06:42:32Z","snapshot_observed_at":"2026-07-07T05:31:15.912881Z","submitted_at":"2002-09-04T06:42:32Z","title":"Computads and slices of operads","version":1},"cited_work":{"arxiv_id":"math/0209035","doi":null,"metadata_source":"pith","pith_arxiv_id":"math/0209035","snapshot_observed_at":"2026-08-10T18:13:06.149879Z","title":"Computads and slices of operads","venue":"math.CT","work_id":"0644b397-87a7-4a6a-9aa4-fb7d8a02e4f4","year":2002},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.272027Z"},"links":{"cited_paper":"/paper/math/0209035","citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:07d6245e5d5dd5b5605cf150b9ea166ff6f7cd4c68b5151e726eda431b6c7e1b","observation_id":"5fbd16c0-9b04-440b-a5de-e84506d49191","resolution":{"observed_at":"2026-08-10T18:13:06.155584Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:05.277179Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.277179Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:41c022c0c9853a66207a00cbfb777273760eb848487a4e269153ba49a8565982","observation_id":"38aff102-f198-4b05-936d-61f7cccafcf4","resolution":{"observed_at":"2026-08-10T18:13:05.277179Z","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-10T18:13:05.281985Z","title":"‘Introduction to bicategories’","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.281985Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:977cd1134364cc23244af432fd32221710e696e4aa362f40c06f0050ce1948f9","observation_id":"c491aed5-a30b-42f4-956f-78aeefa2e5ac","resolution":{"observed_at":"2026-08-10T18:13:05.281985Z","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-10T18:13:06.449602Z","title":"‘A type theoretic approach to weak ω-categories and related higher structures’","venue":null,"work_id":"53ee81bb-1db2-46e1-9556-6cc763b79e7b","year":2020},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.286975Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:f2e4a5cc247f243d61cb97f14e3f8a396c5a359d75ee17bf6b15e44b7ae84f3e","observation_id":"0faa19be-603c-411e-8bce-305bf5a20c12","resolution":{"observed_at":"2026-08-10T18:13:06.455626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.01667","last_updated":"2024-12-02T16:16:04Z","snapshot_observed_at":"2026-08-12T22:46:07.797861Z","submitted_at":"2024-12-02T16:16:04Z","title":"Generating Higher Identity Proofs in Homotopy Type Theory","version":1},"cited_work":{"arxiv_id":"2412.01667","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.01667","snapshot_observed_at":"2026-08-10T18:13:06.037676Z","title":"Generating Higher Identity Proofs in Homotopy Type Theory","venue":"cs.LO","work_id":"ad882590-cd38-43fc-9379-b0a87f8b4048","year":2024},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.291798Z"},"links":{"cited_paper":"/paper/2412.01667","citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:c34f9f91656b413147c343e15fc241aaa03f54b5ebe00622bb187baf5ea9bf3e","observation_id":"99b67cf0-53a4-432d-90c1-34e45d94c4cc","resolution":{"observed_at":"2026-08-10T18:13:06.043611Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01611","last_updated":"2024-11-13T14:53:49Z","snapshot_observed_at":"2026-07-06T17:24:29.001170Z","submitted_at":"2024-02-02T18:19:30Z","title":"Hom $\\omega$-categories of a computad are free","version":3},"cited_work":{"arxiv_id":"2402.01611","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.01611","snapshot_observed_at":"2026-08-10T18:13:06.011493Z","title":"Hom $\\omega$-categories of a computad are free","venue":"math.CT","work_id":"3823cfcf-c2b2-45e3-bce1-c682c4d53db2","year":2024},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.297015Z"},"links":{"cited_paper":"/paper/2402.01611","citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:20fb7c8b60b7e39ab1738baa9cbec99c0b468e997e96a3bcd5a47e10c08316b4","observation_id":"7b495e18-971d-4514-8538-e658ca48f999","resolution":{"observed_at":"2026-08-10T18:13:06.017073Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.433737Z","title":"‘Invertible cells in ω-categories’","venue":null,"work_id":"ff91558b-172e-4909-9046-2e596b4d540e","year":null},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.302141Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:9a82990c2add292c1fd6e479617371bc4764511b1770271ad1ff33975000cce9","observation_id":"3923c634-27ca-487f-845b-4cb5bc5e3015","resolution":{"observed_at":"2026-08-10T18:13:06.438941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:05.307077Z","title":"‘CaTT cont exts are finite computads’","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.307077Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:4fae923dc895dd9a0d32fda1b849cad96d029de5db250a0b058ab2ec654a03ed","observation_id":"351fd1f1-4995-459a-aeac-3e6d33b5d344","resolution":{"observed_at":"2026-08-10T18:13:05.307077Z","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.21136/hs.2024.07","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.656053Z","title":"‘Globular Weak ω- Categories as Models of a Type Theory’","venue":null,"work_id":"a9b51c74-7692-46df-8aa3-47b843d5b351","year":2024},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.312255Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:352c5e0f763781f337440829fece751e430510879d2f4c5ee2c300e2378f4e35","observation_id":"9a7fa710-8ef1-43b5-810f-7144f755f3c9","resolution":{"observed_at":"2026-08-10T18:13:05.661122Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.417427Z","title":"‘Types are weak ω-groupoids’","venue":null,"work_id":"a9394462-2572-40de-8048-573d47c97899","year":2011},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.317139Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:e64d34735f8a1c82cb8d4fe58d9598f5b8f26aba1bd04c7ff3a968bed9d82667","observation_id":"1c1afbdb-17f1-4da2-a058-63e763ca23f7","resolution":{"observed_at":"2026-08-10T18:13:06.422277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:05.326792Z","title":"‘A Cellular Nerve for Higher Categories’","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.326792Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:abfcffb78104669ea24bf81d111521bd291620f8d3b0fd8afe2948e1c08c1676","observation_id":"9423ac82-a685-4d88-b6ee-5627f31d7e83","resolution":{"observed_at":"2026-08-10T18:13:05.326792Z","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-10T18:13:05.331581Z","title":"‘P roofs for Free: Parametricity for Dependent Types’","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.331581Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:f76d33b4d9708b85cf0403c6ffb8e49dce4054d12cceabdd1d3012928a5e0060","observation_id":"e40f1b44-ec90-43d7-ae98-c035ccd55604","resolution":{"observed_at":"2026-08-10T18:13:05.331581Z","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-10T18:13:05.336418Z","title":"‘Iterated algebraic injectivity and the faithfulne ss conjec- ture’","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.336418Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:6efb18b62ea9edacbe96366c245df6e7857ba2bb692b5a4a2af87e0bed6ba397","observation_id":"41fbda86-76ac-4fa5-a2c5-4dbecf113748","resolution":{"observed_at":"2026-08-10T18:13:05.336418Z","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.aim.2016.07.026","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.608183Z","title":"‘Orientals and Cubes, Indu ctively’","venue":null,"work_id":"244bb994-9371-4a39-8c5e-423f1e6474c3","year":2016},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.341691Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:0797f60cdf67e565d73ac5dd10babec1e3a4b0f7c183a6a28b833a938604a180","observation_id":"baebb5cd-bef8-45d7-abc5-fa7719ac1f7c","resolution":{"observed_at":"2026-08-10T18:13:05.613183Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1024186923002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.592248Z","title":null,"venue":null,"work_id":"63ee5657-ac44-441b-a448-8ad69afa9174","year":2003},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.346801Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:6f956f12fe0643fc0c7d104c6b538607f21bc25d051237bbbb38c1305488fbb9","observation_id":"368d8640-8ce9-48dd-8f0c-9f068a0eefcb","resolution":{"observed_at":"2026-08-10T18:13:05.597068Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:05.351577Z","title":"‘Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Chur ch- Rosser theorem’","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.351577Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:b8760a7294efd1a01e4e6e92c81f860dddfb65be493014125a7a061b8705f7a2","observation_id":"d1d381f4-b487-4d72-a17d-5497601cbd08","resolution":{"observed_at":"2026-08-10T18:13:05.351577Z","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-10T18:13:05.356349Z","title":"Dean et al","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.356349Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:5e7bb9a7adc3c8356d82969785bcaa24ae32907a07a2fcdb9898c55940d47055","observation_id":"0a886a69-6924-490f-8802-edb88da2fd17","resolution":{"observed_at":"2026-08-10T18:13:05.356349Z","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-10T18:13:05.360906Z","title":"‘A type-theoretical definition o f weak ω-categories’","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.360906Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:88f396e986ca8229097143d8ada56bae078266c9ca2362cd22169bfaf9b99a5c","observation_id":"d157296c-bf68-4c61-9b41-a1c0ce856508","resolution":{"observed_at":"2026-08-10T18:13:05.360906Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1609.04622","last_updated":"2016-09-15T13:18:02Z","snapshot_observed_at":"2026-08-10T12:39:29.988588Z","submitted_at":"2016-09-15T13:18:02Z","title":"Algebraic models of homotopy types and the homotopy hypothesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1609.04622","snapshot_observed_at":"2026-08-10T18:13:05.365793Z","title":"‘Algebraic models of homotopy types and the homot opy hypothesis’","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.365793Z"},"links":{"cited_paper":"/paper/1609.04622","citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:24bc64f4f296aabef7ce4968362ff1b1fa898374d18a8455163f97ee429eda39","observation_id":"568215b3-b147-42b5-9af2-87c046449ae1","resolution":{"observed_at":"2026-08-10T18:13:05.365793Z","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-10T18:13:06.401208Z","title":"‘On the homotopy hypothesis in di- mension 3’","venue":null,"work_id":"7c0c02af-3df1-4ba1-a55a-6293b703dea3","year":2023},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.371030Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:055f2c34bf46fa2b2745a5458c73adb16e616dfb76de2f10f438e8f987f4a5b2","observation_id":"dc9867aa-1262-4d19-be2c-4f4dc1134ea0","resolution":{"observed_at":"2026-08-10T18:13:06.406178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.383417Z","title":"‘A folk model structure on omega-cat’","venue":null,"work_id":"52615225-471c-48e6-bf57-0176a0fe4bdb","year":2010},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.375994Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:4911de5d1a174cf6815b0a0b9bbbfab111edcd1b8b65d88ac0767ed5711719fd","observation_id":"06ae5e77-e7a8-48f8-85c9-6cec3c1cf1da","resolution":{"observed_at":"2026-08-10T18:13:06.389134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.367361Z","title":"‘A semi-model structure for Grothendieck we ak 3-groupoids’","venue":null,"work_id":"68a63cb2-4efa-49f9-8ef0-f780a38e8bbc","year":null},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.385368Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:16d0ab3d65af6506b426aec141af0f0183c0444a677958cc5d95cf9250337d5c","observation_id":"f7a2fc46-5aa5-4951-9292-ea67f7e80c6e","resolution":{"observed_at":"2026-08-10T18:13:06.372835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jpaa.2019.06.004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.548059Z","title":"‘Towards a globular path object for weak ∞-groupoids’","venue":null,"work_id":"8e8f5356-1f68-4beb-859e-7f7e85710e64","year":2020},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.390245Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:fc88af946cdc20bb83a5ba15e8f788f3288f382b77b20a25742b7a496182c8bf","observation_id":"c61b75db-2ac9-4ffe-b59a-5725d1064aff","resolution":{"observed_at":"2026-08-10T18:13:05.553213Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.351518Z","title":"‘Weak ω-Categories from Intensional Type The- ory’","venue":null,"work_id":"ce7ee32b-abb3-4a6f-9462-c6a138da7880","year":2009},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.396704Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:a30d1a4ce892d65d1c1bda29bfa9ad3d6163cd7f6e03a98a0442e4c08ce7a308","observation_id":"6bab1a57-4fc7-43cd-bcd6-da060284fe37","resolution":{"observed_at":"2026-08-10T18:13:06.356616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.334935Z","title":"‘Derived algebraic geometry’","venue":null,"work_id":"ff5f8711-e030-4523-a9fb-03e3b2cc6974","year":2004},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.407089Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:5201c110fb30abdecf1052717766e637979a94995bc866efbad27a04b2bb7f76","observation_id":"54afffc4-a8d6-4b72-b25d-b743a2ec3b01","resolution":{"observed_at":"2026-08-10T18:13:06.340693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.318208Z","title":"Higher Topos Theory","venue":null,"work_id":"eb6ca6b0-4e59-41c6-a936-0487d7b9a4b3","year":2009},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.411949Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:4777a7772df08de591fe7e23f1d2bed4b7baf9a277c567c2dd8badd96a4232ae","observation_id":"7baa1e4b-aee0-4797-ade7-2b57f468ab97","resolution":{"observed_at":"2026-08-10T18:13:06.323334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1009.2331","last_updated":"2010-09-13T09:14:31Z","snapshot_observed_at":"2026-08-11T14:38:58.774535Z","submitted_at":"2010-09-13T09:14:31Z","title":"Grothendieck $\\infty$-groupoids, and still another definition of $\\infty$-categories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1009.2331","snapshot_observed_at":"2026-08-10T18:13:05.416896Z","title":"‘Grothendieck ∞-groupoids, and still another defin- ition of ∞-categories’","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.416896Z"},"links":{"cited_paper":"/paper/1009.2331","citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:e98ce8d19b882310981b76884e27d69b1688a54164dfb6c8a0386fb9315c663f","observation_id":"603c5747-077e-4d25-8ff8-00557bcbce9e","resolution":{"observed_at":"2026-08-10T18:13:05.416896Z","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.2168/lmcs-10(2:1)2014","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.514884Z","title":"‘Towards 3-Dimensional Rewriting Theory’","venue":null,"work_id":"93dfaee2-8f02-4e48-b1ca-dc629de0fc54","year":2014},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.422059Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:a955758de1ec675c8218480d741fd01a5776cca2349c0e608c0432a2466fcde4","observation_id":"3f925912-b667-4db5-9e22-238ee7e1a136","resolution":{"observed_at":"2026-08-10T18:13:05.519983Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.301402Z","title":"Reynolds","venue":null,"work_id":"016763d3-e2ff-4277-ade5-84498b0405c1","year":1983},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.427058Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:bc445f1a55c55ce6881b0ed2066f50ec0a38b0cd9aaec1bc93e28eec0819bbf6","observation_id":"891ed97a-e6e5-408d-804b-76700593ca60","resolution":{"observed_at":"2026-08-10T18:13:06.307318Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.284697Z","title":"Schommer-Pries","venue":null,"work_id":"11af5daa-4030-4e20-830a-030dcec8d977","year":2011},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.431986Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:32bed25a8d470183d5118dcf9bd42967376efc2a21417c81ced2f6fac28a4bbf","observation_id":"0fcd3759-a29d-41d7-b0a9-a3e581019e96","resolution":{"observed_at":"2026-08-10T18:13:06.289997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.266846Z","title":null,"venue":null,"work_id":"d03f21b3-b18a-4f7b-8dd7-5cc33c2d311f","year":1987},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.436729Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:b69505485ce44b6271a2ee5f030978c6822d70564c68d50b2f7261da0b0235fe","observation_id":"4daf0177-183c-4e57-898c-5e8dd58c613f","resolution":{"observed_at":"2026-08-10T18:13:06.271926Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0022-4049(99)00183-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.496437Z","title":"‘The petit topos of globular sets’","venue":null,"work_id":"8f0cda4e-a0a3-4603-86f8-2eec281c4a5f","year":2000},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.441409Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:2d55431dd20505cdcade1a747c9429a66cc9d337360592fa3962dd362ece79c3","observation_id":"4b421473-3055-4f34-9063-aa0f1c0bc336","resolution":{"observed_at":"2026-08-10T18:13:05.503730Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.249638Z","title":"‘Generic morphisms, parametric representations and weakly cartesian monads.’ In: Theory and Applications of Categories 13 (2004), pp","venue":null,"work_id":"3c04ed15-aebd-4f66-ac6c-8c7c20a34ad3","year":2004},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.446191Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:0610ab7b2d6914c8d7f43de6fa91ebf120d7b4617c1e649375309b07b071118a","observation_id":"aeb98576-e4c7-43d6-bf2a-2b6339440bcd","resolution":{"observed_at":"2026-08-10T18:13:06.255756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.233455Z","title":null,"venue":null,"work_id":"917f9cb6-2c3b-4db8-bc16-e352335f5ffc","year":null},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.452273Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:8a3eb2043a51996186c5a4cd6ecda85ad9fd4b0061a3c4b3f6368d26094a64b8","observation_id":"d9e4dfb9-23c6-49f2-bbe8-d10edfadfeb1","resolution":{"observed_at":"2026-08-10T18:13:06.238836Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.217514Z","title":null,"venue":null,"work_id":"66fe1631-8762-409c-afdd-2fb1ef1154e8","year":null},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.457412Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:51b8d02b95bfea8e49a14b6e2fc63b5d661265be0755c70210e4b843ae84b18e","observation_id":"0baa00c3-922c-4e1c-ba53-c1e50a4cca5e","resolution":{"observed_at":"2026-08-10T18:13:06.222728Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:06.200876Z","title":"In the first case, xj+1 /∈X, hence the phases are respectively of the form wX k,j+1 andwX k,j","venue":null,"work_id":"c05db85a-3762-490a-91c0-ceddb0da298a","year":null},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.462700Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:72b0733e9b7242629abacf4e51f8ad77f2d170f41ac4cde1dfb2677738af39cc","observation_id":"20a10233-7d13-4de7-b955-12986bc3bc39","resolution":{"observed_at":"2026-08-10T18:13:06.206340Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-02273-9_14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.531417Z","title":null,"venue":null,"work_id":"a4dbf91d-2b26-45c8-aa8e-d78130cd4450","year":null},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":187,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.401569Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:94024f77aef198918a846b42456b0cc24e4bb398da674893c0f8517333efa568","observation_id":"eb50e481-e229-4aa2-848f-35d8b93b7c38","resolution":{"observed_at":"2026-08-10T18:13:05.536343Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T18:13:05.321909Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":394,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.321909Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:7b6903711a4126a1a447b5a5f65fa8be7d97c267a6ec5fb3bb0231f81dc4fcea","observation_id":"10758670-bbce-41c7-9327-9ddc33c9f263","resolution":{"observed_at":"2026-08-10T18:13:05.321909Z","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.aim.2010.01.007","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T18:13:05.563949Z","title":null,"venue":null,"work_id":"6b237717-59ab-4868-ab08-9b1facb4491d","year":2010},"citing_paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types","version":3},"reference_index":1231,"source":"pdf_text","source_observed_at":"2026-08-10T18:13:05.380687Z"},"links":{"citing_paper":"/paper/2501.11620"},"observation_digest":"sha256:4a63f81af2bf94ab4f10877cf69bb3da105f769506e7358b038e37f41464aa65","observation_id":"36a88946-8fee-4df5-a7ae-176216e222df","resolution":{"observed_at":"2026-08-10T18:13:05.568875Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.11620","last_updated":"2025-05-14T11:01:56Z","latest_version":3,"primary_category":"math.CT","snapshot_observed_at":"2026-08-10T18:00:06.096996Z","submitted_at":"2025-01-20T17:36:00Z","title":"Naturality for higher-dimensional path types"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":2,"unresolved":16,"verified_exact":13,"verified_fuzzy":14},"total_outbound_references":45},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2501.11620."}