{"as_of":"2026-08-15T23:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c61c640a3a975b249acaf7356a9812309e5270be8943be3de3cfb9b816011742","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T21:09:58.328839Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T01:26:36.988957Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.10761","snapshot_observed_at":"2026-07-13T02:07:13.177982Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09564","last_updated":"2026-07-13T09:19:53Z","snapshot_observed_at":"2026-08-15T07:01:35.622247Z","submitted_at":"2026-07-10T16:10:31Z","title":"Bidirectional Elaborators \\`a la Carte","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T02:07:13.177982Z"},"links":{"cited_paper":"/paper/2505.10761","citing_paper":"/paper/2607.09564"},"observation_digest":"sha256:a6c747bc95fd401ecf809b791fd5d4166c4694b924b49a600d92ef5abf0fda9e","observation_id":"7854471a-1fe8-4b94-b028-8b5860668216","resolution":{"observed_at":"2026-07-13T02:07:13.177982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.10761","snapshot_observed_at":"2026-07-14T15:11:21.386241Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09564","last_updated":"2026-07-13T09:19:53Z","snapshot_observed_at":"2026-08-15T07:01:35.622247Z","submitted_at":"2026-07-10T16:10:31Z","title":"Bidirectional Elaborators \\`a la Carte","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T15:11:21.386241Z"},"links":{"cited_paper":"/paper/2505.10761","citing_paper":"/paper/2607.09564"},"observation_digest":"sha256:3924f9d03bc1661746d7b76fe31d71216394051a2a511a514776fe23567fcb3d","observation_id":"7be01fa5-281d-4742-a441-a90a2df19f92","resolution":{"observed_at":"2026-07-14T15:11:21.386241Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.10761","snapshot_observed_at":"2026-08-04T01:26:36.988957Z","title":"Algebraic T ype Theory , Part 1: Martin-Löf algebras","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.00095","last_updated":"2026-07-30T16:57:50Z","snapshot_observed_at":"2026-08-06T23:11:52.848029Z","submitted_at":"2026-07-30T16:57:50Z","title":"Internal Algebraic Type Theory","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T01:26:36.988957Z"},"links":{"cited_paper":"/paper/2505.10761","citing_paper":"/paper/2608.00095"},"observation_digest":"sha256:d5380f4a0ebe935d6b603f17a6d580f3d4ca40e13c4a9c3288840d8ff5e3c049","observation_id":"3e269514-6856-4e63-842b-9870b50749c7","resolution":{"observed_at":"2026-08-04T01:26:36.988957Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.10761/citation-record","integrity":"/paper/2505.10761/integrity","json":"/paper/2505.10761/citation-record.json","paper":"/paper/2505.10761"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.671494Z","title":"H o TTL ean: Formalizing the meta-theory of H o TT in L ean, 2025","venue":null,"work_id":"55c0bec1-d913-47cc-a41e-5823a413e2ae","year":2025},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.240621Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:3203d39ffb1ca9ec8a5ed1341d67b62efeaea93a99249743f94e8c022392284e","observation_id":"6627f992-db2b-4294-bf47-de2355e54225","resolution":{"observed_at":"2026-08-15T21:09:58.674387Z","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":{"arxiv_id":"2110.14576","last_updated":"2024-05-08T20:16:38Z","snapshot_observed_at":"2026-08-15T12:53:23.548413Z","submitted_at":"2021-10-27T16:44:21Z","title":"Kripke-Joyal forcing for type theory and uniform fibrations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14576","snapshot_observed_at":"2026-08-15T21:09:58.245820Z","title":"Awodey, N","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.245820Z"},"links":{"cited_paper":"/paper/2110.14576","citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:3f4b63032bcceb3c5585f5ddba401eebadb9a16341fb8d75b8b8f1e7d7e5497e","observation_id":"68a13184-a055-4b88-9483-f255fe9bf393","resolution":{"observed_at":"2026-08-15T21:09:58.245820Z","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":"2409.19176","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.455101Z","title":"Polynomial universes and dependent types","venue":null,"work_id":"8032d478-80d2-4552-bd8a-195c8ceb587c","year":2024},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.249783Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:e4454300f4936f3887772453fa6c4e2f3db07c37b761988949f4a009f37e3661","observation_id":"fa235b6c-8721-4a77-9f6c-c515686c24a8","resolution":{"observed_at":"2026-08-15T21:09:58.460602Z","resolver_source":"raw_fallback","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-15T21:09:58.661754Z","title":"Natural models of homotopy type theory","venue":null,"work_id":"565a49e4-b5a2-42ba-bd63-407c750c5ba4","year":2016},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.253954Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:42817b10688d28cabab54c4918bf63bf71d95f291e9771e96d91abee6547e497","observation_id":"e111351f-965d-4115-abf1-20ecf470501a","resolution":{"observed_at":"2026-08-15T21:09:58.665011Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.651252Z","title":"On H ofmann- S treicher universes","venue":null,"work_id":"9b2818b3-0080-4039-aee9-6ec11c9e084c","year":2024},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.259308Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:751b71d6707a455379f07c206479fd78419f575a9500d85a9e545395e0355f4d","observation_id":"14465080-feb1-4aa3-a756-9773fdb3c0d3","resolution":{"observed_at":"2026-08-15T21:09:58.654763Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.641017Z","title":"Internal type theory","venue":null,"work_id":"b94459d9-e183-4e0b-80ee-1f24f3afdf31","year":1996},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.262829Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:b569f73ab3989fe1a36f0ee482414ca8649f117d11ea76653d2009c524edf9e6","observation_id":"032f2c08-2a24-448e-82b3-b1ec64893d50","resolution":{"observed_at":"2026-08-15T21:09:58.644239Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.630467Z","title":"Discrete generalised polynomial functors","venue":null,"work_id":"e64495fb-fcb7-4506-a53d-b67fbcb6558d","year":2012},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.266424Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:4c3e889e81dd0c22776b782dc9ca2fbb7a9b01d72ff6a98d6c7371dd1e0ec903","observation_id":"66bb232e-af90-4ef3-a1e1-9217794d2699","resolution":{"observed_at":"2026-08-15T21:09:58.633799Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.618758Z","title":"Polynomial functors and polynomial monads","venue":null,"work_id":"156d6a32-36f8-4d8d-9b96-ea9eaaee31ee","year":2013},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.269676Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:0013945226fa82261effc57a133bae8622104ac0b3a900192755efb2c233d65d","observation_id":"4d3763cc-1b38-459d-ab8f-850396a09085","resolution":{"observed_at":"2026-08-15T21:09:58.622401Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.608285Z","title":"On the interpretation of type theory in locally cartesian closed categories","venue":null,"work_id":"83ead108-9e00-4b88-9bb4-9f69b73291f0","year":1994},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.272970Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:17c3c917d74130f0decd2aa996219cecd873da0f0f18d57decd35117555b0e11","observation_id":"0b82c879-daed-4544-a2be-b8470d0a5739","resolution":{"observed_at":"2026-08-15T21:09:58.611846Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.597814Z","title":"Lifting G rothendieck universes","venue":null,"work_id":"35aaca32-b004-4ddf-ad11-9144fcf9792f","year":1997},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.276908Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:79333b7ed2a9f5b0211b424b5b0f1053c204cd9b448ce5b521652e2a7c03a75c","observation_id":"8839f626-d15f-49e0-9df1-ac141a2d4938","resolution":{"observed_at":"2026-08-15T21:09:58.601224Z","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-15T21:09:58.280490Z","title":"The groupoid interpretation of type theory","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.280490Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:5a9858d2f63369b9404795496864ca27881ac2ea0fcd54fb948810915062eeec","observation_id":"f388db83-480b-430f-831c-99e50ccc2f01","resolution":{"observed_at":"2026-08-15T21:09:58.280490Z","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-15T21:09:58.581001Z","title":"Joyal and I","venue":null,"work_id":"dfd75234-cf08-43ec-a247-828c67ce4463","year":1995},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.283989Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:06c84df1447f7a168f4d0791294ca64c13b055161af73372ca46a7887b6703c4","observation_id":"0ed2e59b-3bf9-4716-9196-2c55239461aa","resolution":{"observed_at":"2026-08-15T21:09:58.583986Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.571378Z","title":"Johnstone","venue":null,"work_id":"f3a8bc1e-e4d6-4146-9c2c-e02661ee4e8c","year":2003},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.287573Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:5429a5976dca106d9e881caef1df63768d93e8bfabd581e146d5823a2ba71db1","observation_id":"bb511ae3-5433-4ea7-a19e-cd31ddf92e76","resolution":{"observed_at":"2026-08-15T21:09:58.574309Z","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":{"arxiv_id":"1710.10238","last_updated":"2017-10-27T16:56:36Z","snapshot_observed_at":"2026-08-14T20:19:34.326097Z","submitted_at":"2017-10-27T16:56:36Z","title":"Notes on Clans and Tribes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1710.10238","snapshot_observed_at":"2026-08-15T21:09:58.291209Z","title":"Notes on clans and tribes, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.291209Z"},"links":{"cited_paper":"/paper/1710.10238","citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:393a35fc4736c6ca8f938025d15250b9b847362e1e14a822d15fc0def887968c","observation_id":"669b4891-3fda-4832-8cd2-6f371431384e","resolution":{"observed_at":"2026-08-15T21:09:58.291209Z","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-15T21:09:58.561507Z","title":"The simplicial model of univalent foundations (after V oevodsky)","venue":null,"work_id":"c3830f37-4ec0-44a9-8b5e-dbbbf5397ef0","year":2021},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.294911Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:010b3459d96b5cf535d3f37fd497e5e18e22a1418f074469a600deb028c62f51","observation_id":"10f35d23-568f-4713-8268-2bcee56bec62","resolution":{"observed_at":"2026-08-15T21:09:58.564880Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.551995Z","title":"Dependently-Typed Algebraic Theories","venue":null,"work_id":"4ff0e70d-6d31-4a63-bd4b-199beced3b71","year":2025},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.298152Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:5bc7d32d575e8084f4bf37f1b56560b25258e2b419b6735549bf1c63a79727c9","observation_id":"c671af75-d091-4663-aabc-21c13344bd11","resolution":{"observed_at":"2026-08-15T21:09:58.555287Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.540288Z","title":null,"venue":null,"work_id":"e2d37aab-f984-4862-93ea-5a41115a24e4","year":1969},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.301729Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:23e7232e4954e91b8e38e31362443bc22035b67db4293f7907cca6a9198cc543","observation_id":"fbc925e6-e398-45ea-83af-1fc88572ac51","resolution":{"observed_at":"2026-08-15T21:09:58.544414Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.529769Z","title":"Lambek and P.J","venue":null,"work_id":"8b27c730-004c-43fe-8a3d-600751b0c8d1","year":1988},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.305544Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:e94720eb210b304b1efe8e601284d6fdc223781e15b6928255a9f37e0257ba46","observation_id":"55ba2748-3818-4dce-93bb-333aff3aa279","resolution":{"observed_at":"2026-08-15T21:09:58.533103Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.519027Z","title":"Weak -categories from intensional type theory","venue":null,"work_id":"14082d7e-00a8-4a32-939c-b2a473fa3277","year":2009},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.308894Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:dd9e1070cc9b9eb96144d0a985aef3e82108bfc7870f77c540275d67c1f83dbc","observation_id":"bf85eae4-1ce3-47e0-a0e4-a535f6fc750a","resolution":{"observed_at":"2026-08-15T21:09:58.522646Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.508803Z","title":null,"venue":null,"work_id":"4c5e70e8-6d3a-4f74-a77d-b46396c0d911","year":2015},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.311809Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:30ef8b5e5a2d9cea61bb6cc62a71bb4bfe62ea1681857dabf5811a20d7f5a28a","observation_id":"e1096984-e0bd-4799-8b11-3a72af6c1317","resolution":{"observed_at":"2026-08-15T21:09:58.512066Z","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":{"arxiv_id":"1802.00997","last_updated":"2018-02-03T16:58:00Z","snapshot_observed_at":"2026-08-14T19:49:16.694754Z","submitted_at":"2018-02-03T16:58:00Z","title":"Polynomial pseudomonads and dependent type theory","version":1},"cited_work":{"arxiv_id":"1802.00997","doi":null,"metadata_source":"pith","pith_arxiv_id":"1802.00997","snapshot_observed_at":"2026-08-15T21:09:58.369784Z","title":"Polynomial pseudomonads and dependent type theory","venue":"math.CT","work_id":"337c1cc4-62e9-47a2-b9f1-d1c03a0005d5","year":2018},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.315336Z"},"links":{"cited_paper":"/paper/1802.00997","citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:6a3b144cabac71ae9e32f47de073a1890a2f63150b706b5c6bec47da26f9e46e","observation_id":"0a90e08d-e98e-40e4-8894-4fb01bfa33b6","resolution":{"observed_at":"2026-08-15T21:09:58.376088Z","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":"2103.06155","last_updated":"2021-03-10T16:09:37Z","snapshot_observed_at":"2026-08-13T20:00:27.164752Z","submitted_at":"2021-03-10T16:09:37Z","title":"Algebraic models of dependent type theory","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.06155","snapshot_observed_at":"2026-08-15T21:09:58.319163Z","title":"Algebraic models of dependent type theory","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.319163Z"},"links":{"cited_paper":"/paper/2103.06155","citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:ddf4fd80de28de1a94751f6d53f23a8a8eab3b6f616aa441795784ef9d9b99f1","observation_id":"3f4b8517-0187-4467-9034-2a502cf2d6fb","resolution":{"observed_at":"2026-08-15T21:09:58.319163Z","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-15T21:09:58.498233Z","title":null,"venue":null,"work_id":"3a7ca589-5ac2-4987-a03f-8614ed79280f","year":1999},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.322618Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:2fe94924eafbb7029623f61abdcd9df7d81ca1eec8bf9b64e727260f5e7a4c37","observation_id":"db4856c5-9f0a-4f91-a724-5e3fd66b93d5","resolution":{"observed_at":"2026-08-15T21:09:58.501434Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:09:58.487609Z","title":"Practical Foundations of Mathematics","venue":null,"work_id":"80104a5e-2900-47db-bffa-e1d70a69f4ea","year":1999},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.325844Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:05cb168f0c5b593c4f6f26ad090e60ff9824946fbbe6e6244cd8e53f94775789","observation_id":"f4b84404-259e-4e0e-a0ee-d164bc27d6ed","resolution":{"observed_at":"2026-08-15T21:09:58.490979Z","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-15T21:09:58.328839Z","title":"Homotopy Type Theory: Univalent Foundations of Mathematics","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-15T21:09:58.328839Z"},"links":{"citing_paper":"/paper/2505.10761"},"observation_digest":"sha256:7fc543d28c1bff40ce7135bc1c031196a92d9c9bab4ee662aa86397405fbf727","observation_id":"9bbd28e7-9ce6-4995-8ff5-2efddbdc9f6c","resolution":{"observed_at":"2026-08-15T21:09:58.328839Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-15T21:01:51.925377Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":2,"verified_fuzzy":15},"total_outbound_references":25},"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 25 of 25 outbound references and 3 inbound Pith citation observations for arXiv:2505.10761."}