{"as_of":"2026-08-15T15:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:99d4dbe1c2736b03c8b6147c471386dca9e19f19b1d45d20fd883d0c81892127","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T20:16:14.181996Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2411.09950/citation-record","integrity":"/paper/2411.09950/integrity","json":"/paper/2411.09950/citation-record.json","paper":"/paper/2411.09950"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:16:14.084729Z","title":"Ghani, P","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.084729Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:e8ead04e2f2ac1e242f4104bfcb200cb982421ec98b7df94719b7472d166e96d","observation_id":"817ce11f-1221-42fd-9fc1-3d77a2516eaf","resolution":{"observed_at":"2026-08-12T20:16:14.084729Z","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/978-3-642-13962-8_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Levy and S","venue":"Lecture notes in computer science","work_id":"4f1fc8bf-bb24-43ce-80a8-96d17255930c","year":2010},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.089133Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:6cd3ef561acb2dffe86071f30d3e2b370adf1bd3a5a9bf9801344a715af5313a","observation_id":"fd1a5aff-9633-4e16-b436-d4806100ab54","resolution":{"observed_at":"2026-08-12T20:16:14.381569Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.093466Z","title":"N., A mixed linear and non-linear logic: Proofs, terms and model s, in: International Workshop on Computer Science Logic, pages 121–135, Springer (1994)","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.093466Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:33e12f6d7f1542e7635ea13834b3aa7fbb08519072980837c542baedc60f585a","observation_id":"054a1554-7fd8-4d0f-abfa-1ad418917a40","resolution":{"observed_at":"2026-08-12T20:16:14.093466Z","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/bfb0014046","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":null,"venue":"Lecture notes in computer science","work_id":"b94994d9-e3e6-48e8-aed5-a7bb148c93d4","year":1995},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.096727Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:2aa73a741556b35049a7d5d94e3c292aa0ed276ee9beb86b596aec6f743a3b4d","observation_id":"69af359e-f156-4ff1-bb6a-b149e3734b82","resolution":{"observed_at":"2026-08-12T20:16:14.364965Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.520197Z","title":"Workshop on Logic and higher structures,","venue":null,"work_id":"81a5b165-609f-4ff9-8735-c51d91845c09","year":null},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.100564Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:62e9f0c77656c799623b89ba4e96ca4d8c896f77280bb4a18b07054ece9b79b7","observation_id":"6c979299-9012-4b5e-b800-0697fb417094","resolution":{"observed_at":"2026-08-12T20:16:14.523736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.103662Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.103662Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:95e613fdf233a1de63f02ebeb7fbc03bdd923fc4844cd1bf48dff312909f2cc3","observation_id":"7cb58d64-876f-4560-8c2e-566a92d1cdc4","resolution":{"observed_at":"2026-08-12T20:16:14.103662Z","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-12T20:16:14.511022Z","title":null,"venue":null,"work_id":"89eef05a-1bfd-43e4-a553-b8402f243331","year":2023},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.106418Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:e456c82731ec77ef23d90a8b149e390714e9d854febd594e7b3ef19b4e267061","observation_id":"ffd2fe02-b550-47f8-b612-fb4e51161999","resolution":{"observed_at":"2026-08-12T20:16:14.514029Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.351.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:16:14.346534Z","title":"Mimram, M","venue":null,"work_id":"6c7a0bea-c5db-4bbd-97d4-947253ac8fda","year":2021},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.108946Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:22aa1f8a5881dd471d2256742986a118f7f1bd3fa8cba0c58473cf8ba2bc3ea6","observation_id":"f657d258-b1b3-4f6e-9933-1a2470ea8bee","resolution":{"observed_at":"2026-08-12T20:16:14.350265Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.111956Z","title":"Gambino, M","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.111956Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:e07e44b4c2d087d15cc868ed382db7498762d7a8ae514c2f94289187ccab19d5","observation_id":"067a3351-d48a-45ef-993b-b8bafb434049","resolution":{"observed_at":"2026-08-12T20:16:14.111956Z","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/bfb0058516","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"https://doi.org/10.1007/BFb0058516","venue":"Lecture notes in mathematics","work_id":"2a757733-79c7-4493-8717-0ec7bf7bfad4","year":1970},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.114772Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:7b49d17cefade0c013efe6a327324aa79d1b99a056bc68afdd947f5c750151ed","observation_id":"1550ab51-00e1-46f8-be5d-35dc56a23782","resolution":{"observed_at":"2026-08-12T20:16:14.336316Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.118201Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.118201Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:f47a508fc29d0b4bf0927c60ca73596192564507b8ef2d02d42d3cdfe0c76183","observation_id":"8101309c-2a13-4e1e-96ce-fe93bf06d6da","resolution":{"observed_at":"2026-08-12T20:16:14.118201Z","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.1093/imrn/rnaa332","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:16:14.319949Z","title":"Haugseng and J","venue":null,"work_id":"9062dc04-f1d1-4b57-ad98-45a51f0e8fc5","year":2022},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.121260Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:54da1a2659b98f0c617f65ee1f07c257c5bf00394e16ffed0af0319a783017ab","observation_id":"091890ab-e18e-4d38-b4f6-f709d113ee5d","resolution":{"observed_at":"2026-08-12T20:16:14.322610Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0168-0072(88)90025-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:16:14.309329Z","title":"https://doi.org/10.1016/0168-0072(88)90025-5","venue":null,"work_id":"aa1ea72d-0926-4ccb-9a13-657625590430","year":1988},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.124364Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:4c920a2f6a5ad57c104dde2f79ed9878576885bec5ea74b76d0ceaef586b6a74","observation_id":"bf1e4061-d5b0-41c4-9307-90350afadaac","resolution":{"observed_at":"2026-08-12T20:16:14.313526Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.127767Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.127767Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:94adf46e0c78554df28e001b49ffefe895ee9c369a9bc4cf536673b690ae1bbb","observation_id":"c2667061-bc51-4d59-9c80-ea75e46e952e","resolution":{"observed_at":"2026-08-12T20:16:14.127767Z","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-12T20:16:14.130771Z","title":"https://doi.org/10.1090/surv/063","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.130771Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:6c2827ec702a274c9c2e89ebe265724b8d7fee372ad99b968fa2c0c488849aa7","observation_id":"1c78b706-26f4-4704-9552-5638935756cd","resolution":{"observed_at":"2026-08-12T20:16:14.130771Z","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-12T20:16:14.133652Z","title":"https://doi.org/10.2168/LMCS-10(2:2)2014 Harington, Mimram 11–23","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.133652Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:ccf09ecf5e3572ecd650ffbc6286272b8976b9e91338812bf79b3b523db0ff73","observation_id":"3bcd91d3-2e43-43ba-87ad-1a17c4c5d61a","resolution":{"observed_at":"2026-08-12T20:16:14.133652Z","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-12T20:16:14.136611Z","title":"https://doi.org/10.1016/0001-8708(81)90052-9","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.136611Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:88a451b534a008139fb7ca74429d1912f0d3bca3d8971229035c82b2443ccda5","observation_id":"8f0d182e-669b-4326-aa6c-3799a9689251","resolution":{"observed_at":"2026-08-12T20:16:14.136611Z","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-12T20:16:14.139833Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.139833Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:763fcf99df9e78bf9fcec29b83c220004f8061dd582dddf2fe2f768aae6cb211","observation_id":"2e40a334-e6f5-43bb-8efa-132288f0afda","resolution":{"observed_at":"2026-08-12T20:16:14.139833Z","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.1093/imrn/rnq068","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:16:14.275540Z","title":"https://doi.org/10.1093/imrn/rnq068","venue":null,"work_id":"5cf04b07-9649-49ac-b571-3b7dcb7bd190","year":2010},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.143434Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:768fcdffb97aefba6e88b018b3b178a6aa28dfa465b0545ce4acb537092c936f","observation_id":"7547cb94-7ca8-4f9e-aa3c-37a6b139dfa3","resolution":{"observed_at":"2026-08-12T20:16:14.278575Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2013.01.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:16:14.266396Z","title":"https://doi.org/10.1016/j.entcs.2013.01.001","venue":null,"work_id":"35b38e37-8045-4c45-bcaf-f0f716c33107","year":2012},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.146275Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:46ebb143b01a1edc40c542cfd925e697d1d2244f67976b56bc97f5a6ceb50266","observation_id":"a526bd7b-ebaf-4052-8851-0fa51dec1329","resolution":{"observed_at":"2026-08-12T20:16:14.269827Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-6(3:24)2010","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:16:14.255083Z","title":"L., Weak ω -categories from intensional type theory , Logical Methods in Computer Science 6 (2010)","venue":null,"work_id":"377ff16b-dd27-4d0a-9165-25f04e87184f","year":2010},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.149245Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:7cc14bb06fabee5132c77fe639bf77f0fdd6ce186b448990445c521fb0aec0fa","observation_id":"c1436d91-7410-44bb-a927-2901c11ce338","resolution":{"observed_at":"2026-08-12T20:16:14.259448Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.501781Z","title":"https://people.math.harvard.edu/~lurie/papers/HA.pdf","venue":null,"work_id":"f9621770-e8c5-4e3b-9f4d-07536c4e1dfa","year":null},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.152151Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:441afa2fed2019f4a346434ab29bff5cf60ec69fbfbc8dddcb37c334a391566b","observation_id":"10560ff6-c43b-4e9e-8448-533517eefbce","resolution":{"observed_at":"2026-08-12T20:16:14.505182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.155525Z","title":"https://doi.org/10.1515/9781400830558","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.155525Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:55802b550ca6ac63a33c9c8ef65b9eb11a478d489e28102483c8f6494e97fc0b","observation_id":"a0e975e1-e8ff-4fa6-8e4f-92f95a9c9bdb","resolution":{"observed_at":"2026-08-12T20:16:14.155525Z","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-12T20:16:14.158338Z","title":"https://doi.org/10.1007/978-1-4757-4721-8","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.158338Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:aa14f19f4992161c3b974209225a33a967613161150fe8319926ecc3a2dc2b51","observation_id":"14f443bd-e028-43bf-9068-4e5404b2e444","resolution":{"observed_at":"2026-08-12T20:16:14.158338Z","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-12T20:16:14.161207Z","title":"https://doi.org/10.1109/LICS.2019.8785830","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.161207Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:42b9ed67407959b6446277bc192003b35a016f79eedf7e55198db750bce965fd","observation_id":"55957039-a321-411b-b4c5-db1abda032c9","resolution":{"observed_at":"2026-08-12T20:16:14.161207Z","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-12T20:16:14.492727Z","title":null,"venue":null,"work_id":"4a61595d-4404-4919-9f20-9fe2a35e548e","year":2009},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.163688Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:fb8c0e8d999b2107a96231bf467dbfc21628798a3c8daf653e75dfb8aa20859e","observation_id":"a604eae0-de6a-44b5-a1f9-97d85797f357","resolution":{"observed_at":"2026-08-12T20:16:14.496136Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/conm/092/1003210","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T20:16:14.233130Z","title":"A., Linear logic, ∗-autonomous categories and cofree coalgebras , volume 92 (1989)","venue":null,"work_id":"2e45e31c-92f1-4405-8e56-2e96fab78750","year":1989},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.166047Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:8abc37604248e86e42bf44d0015a07049655598e0ae4f7e618ec6d921ee7871e","observation_id":"c175afb8-7113-443a-842a-2ad4b1367420","resolution":{"observed_at":"2026-08-12T20:16:14.236852Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1301.1053","last_updated":"2016-08-19T15:23:40Z","snapshot_observed_at":"2026-08-15T00:33:39.515238Z","submitted_at":"2013-01-06T20:56:39Z","title":"Compact Closed Bicategories","version":7},"cited_work":{"arxiv_id":"1301.1053","doi":null,"metadata_source":"pith","pith_arxiv_id":"1301.1053","snapshot_observed_at":"2026-08-12T20:16:14.395728Z","title":"Compact Closed Bicategories","venue":"math.CT","work_id":"9b0c2ae7-2815-4151-985f-63cfeaca3722","year":2013},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.168736Z"},"links":{"cited_paper":"/paper/1301.1053","citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:f7fa94c9e95a9f4df02df529b9ca71349a50af6fb96f3b92e3efeb0fe1d4b617","observation_id":"223a6b4e-e0b3-4c84-afca-b03dbad43877","resolution":{"observed_at":"2026-08-12T20:16:14.398510Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1903.03890","last_updated":"2020-02-17T01:12:02Z","snapshot_observed_at":"2026-08-14T17:04:48.129029Z","submitted_at":"2019-03-10T00:06:35Z","title":"Polynomials as spans","version":3},"cited_work":{"arxiv_id":"1903.03890","doi":"10.48550/arxiv.1903.03890","metadata_source":"pith","pith_arxiv_id":"1903.03890","snapshot_observed_at":"2026-08-13T00:16:21.800782Z","title":"Polynomials as spans","venue":"math.CT","work_id":"6c36b9bb-c483-4a1e-9090-9fc24807cd73","year":2019},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.172350Z"},"links":{"cited_paper":"/paper/1903.03890","citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:bff6119d5f824aa429963b5be11d757261686cba1a7a7730b312ae45729f088a","observation_id":"f60f4943-58ad-4eb7-8e08-7a3c1f097274","resolution":{"observed_at":"2026-08-12T20:16:14.226006Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0018351","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"https://doi.org/10.1007/BFb0018351","venue":"Lecture notes in computer science","work_id":"ac4f945b-4879-4838-aebe-b39878d5a1bb","year":1989},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.175710Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:d3134de84553c8e258db5366f4084af2b429d9a464c674721015d146855d6bbe","observation_id":"6e988617-d395-4e42-aa38-2933309f15ae","resolution":{"observed_at":"2026-08-12T20:16:14.211904Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.482281Z","title":null,"venue":null,"work_id":"8641dc23-ddf7-48b1-aac0-ec239b534bd2","year":2013},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.178515Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:b7caf0b8962a0e0c6b0c187423ca8eefb5fb922d19adc43685fa361b0af4882e","observation_id":"96eb9a39-341b-48f7-ac28-bef1a85e06b8","resolution":{"observed_at":"2026-08-12T20:16:14.485499Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T20:16:14.181996Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T20:16:14.181996Z"},"links":{"citing_paper":"/paper/2411.09950"},"observation_digest":"sha256:79a189f61c81485d38bcee168bf14ad240894bfbb99da0169a6c208e18b45c04","observation_id":"2142fc01-5880-44a1-86cb-6b98265c33d0","resolution":{"observed_at":"2026-08-12T20:16:14.181996Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.09950","last_updated":"2024-12-07T20:39:35Z","latest_version":2,"primary_category":"math.CT","snapshot_observed_at":"2026-08-12T20:05:21.537184Z","submitted_at":"2024-11-15T05:04:14Z","title":"Polynomials in homotopy type theory as a Kleisli category"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":17,"verified_exact":12,"verified_fuzzy":2},"total_outbound_references":32},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2411.09950."}