{"as_of":"2026-08-13T01:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aa97c766b3377d60c7db6c003854eec73e5bd186dfdbd8cf4b6796c821aede9b","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T11:50:26.030339Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"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/2606.00952/citation-record","integrity":"/paper/2606.00952/integrity","json":"/paper/2606.00952/citation-record.json","paper":"/paper/2606.00952"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.23638/lmcs-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T16:32:22.594918Z","title":"Acategoricalsemanticsforcausalstructure.Logical Methods in Computer Science, 15","venue":null,"work_id":"35c53642-081b-40a6-9f5e-aee5e84d8ad0","year":1994},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:1043efa5e38748b013dbc83568c76e7e4ecefa507bbcb4a7d531ba99c659b320","observation_id":"a1002378-a241-4618-8b7d-783304a3d7b8","resolution":{"observed_at":"2026-06-28T16:32:22.596113Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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":"2004.12937","last_updated":"2020-04-27T16:53:48Z","snapshot_observed_at":"2026-08-12T21:05:13.806881Z","submitted_at":"2020-04-27T16:53:48Z","title":"A model 2-category of enriched combinatorial premodel categories","version":1},"cited_work":{"arxiv_id":"2004.12937","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2004.12937","snapshot_observed_at":"2026-07-01T21:46:15.141259Z","title":"Homotopy Languages","venue":null,"work_id":"c11041a4-0fcd-46d8-bfdb-38a778ed18c4","year":2004},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"cited_paper":"/paper/2004.12937","citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:d279c0341ea1c38890002158a03f904fe65002e12298eb1da224807c4fd4f6cc","observation_id":"5c830618-64ea-4968-a9d6-353f756738e0","resolution":{"observed_at":"2026-07-01T21:46:15.143475Z","resolver_source":"arxiv_id","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-06-28T16:27:53.435302Z","title":"Multilinearity of sketches","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:a94398c94c1d22c06a4fb271a546cf4b1c29be7aa975986443e9a88ad2b7971f","observation_id":"cbf8c7d0-4d38-4333-be2b-ece14fbd1ab7","resolution":{"observed_at":"2026-06-28T16:27:53.435302Z","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/0168-0072(86)90053-9.url:","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T16:32:22.600055Z","title":"Generalised algebraic theories and contextual categories","venue":null,"work_id":"531e0f3d-ab7c-4759-9359-5c95148d11b1","year":1986},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:a4b6da02f7fd1ceacdec3a5d572dd3f90dc2de150f6190af9a5bdafa4fa2c07d","observation_id":"a128ea6c-91bb-4d65-8d8a-7849c4aac73f","resolution":{"observed_at":"2026-06-28T16:32:22.601458Z","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.4064/cm-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T16:32:22.591069Z","title":"Algebra valued functors in general and tensor products in particular","venue":null,"work_id":"68c3c6d3-7078-46b3-8b0b-687570e2965c","year":1966},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:3a90244c71ff06e2aa1dd45b5ece1d3b9cef5babc36306eebaae303989187c4a","observation_id":"09a81387-0ad0-448a-b213-b0467d62b93e","resolution":{"observed_at":"2026-06-28T16:32:22.592432Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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-06-28T16:27:53.435302Z","title":"Springer-Verlag, Berlin-New York, 1971, pp","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:fa602d06360a272b01a780913d714ed21b52c81e60a67319e9d9b6ec1e0ca86d","observation_id":"5615997b-bd8b-4b6d-aaca-861a96cc353a","resolution":{"observed_at":"2026-06-28T16:27:53.435302Z","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":"1999.1877","doi":"10.1006/aima.1999.1877.url:https://doi.org/10.1006/aima","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Algebraic models of homotopy types and the homotopy hypothesis","venue":null,"work_id":"3868af88-b322-453c-bfb2-3469c177b86f","year":2016},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:5095832eeaf1f1243e41798b6f5390d0d72a6449bd473f2a4be45138d953651c","observation_id":"c8a28171-339f-491c-a7b4-d8d8c5c0c929","resolution":{"observed_at":"2026-06-28T16:32:22.599370Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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-06-28T16:27:53.435302Z","title":"The homotopy theory of type theories","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:2311aea3d1557a20d24b92c9e1161f4d5599319ec278e7d88fec7f6c40691adb","observation_id":"a30ce6e5-072d-4aa7-af1f-23e37f195f1e","resolution":{"observed_at":"2026-06-28T16:27:53.435302Z","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-06-28T16:27:53.435302Z","title":"Basic concepts of enriched category theory","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:7f64a3635330ad69c9334c53caee31a7f28f6477c91f9cf657291612a8cd04bd","observation_id":"5e63c550-533c-434c-a104-9fbfebfd3d83","resolution":{"observed_at":"2026-06-28T16:27:53.435302Z","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.1017/cbo9780511525896","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Leinster","venue":"Cambridge University Press eBooks","work_id":"a563dc98-6ccc-4a94-83d1-3492550ad6e3","year":2004},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:cd053106bd72103b4b847e445984edc31a5bfbb77f4768b9772f6f97f5f43a58","observation_id":"4f1f86f5-8501-469c-b4a9-69b016f9fa2b","resolution":{"observed_at":"2026-06-28T16:32:22.594393Z","resolver_source":"doi","status":"metadata_mismatch"},"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.1090/conm/104","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Accessible categories: the foundations of categorical model theory","venue":"Contemporary mathematics - American Mathematical Society","work_id":"358d12b7-8555-4880-a260-dc97cb9dfba3","year":1989},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:c32e590dbba97c21d14665344580ca62faf71593ddb3a44037ee825ddd695b89","observation_id":"267354d0-5d01-4436-adf5-b01768bf5431","resolution":{"observed_at":"2026-06-28T16:32:22.603603Z","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-06-28T16:27:53.435302Z","title":"Springer-Verlag, New York, 1998, pp","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:655313fce71843dbba2eb38bc637f45a1c59faa135b9006337d49c889f80b807","observation_id":"c1decd34-45fb-4229-9e13-2d420f1ab341","resolution":{"observed_at":"2026-06-28T16:27:53.435302Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2511.13547","last_updated":"2026-05-31T01:48:03Z","snapshot_observed_at":"2026-08-08T07:11:50.520709Z","submitted_at":"2025-11-17T16:18:31Z","title":"A monoidal category of dependently sorted algebraic theories I: syntax","version":2},"cited_work":{"arxiv_id":"2511.13547","doi":null,"metadata_source":"pith","pith_arxiv_id":"2511.13547","snapshot_observed_at":"2026-07-01T21:46:15.138446Z","title":"A monoidal category of dependently sorted algebraic theories I: syntax","venue":"math.CT","work_id":"0169b8d8-aa77-422d-851e-6c2ece3f3b2d","year":2025},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T16:27:53.435302Z"},"links":{"cited_paper":"/paper/2511.13547","citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:2fe14ba9339863992903d7f662ce13aeac4a9757e8abcaf11414df0a04b49e22","observation_id":"38f55331-779b-4a1e-bf0c-8e461882ad93","resolution":{"observed_at":"2026-07-01T21:46:15.140024Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":"1406.7413","last_updated":"2016-03-15T12:59:56Z","snapshot_observed_at":"2026-08-12T12:25:04.563565Z","submitted_at":"2014-06-28T15:03:30Z","title":"Subsystems and regular quotients of C-systems","version":3},"cited_work":{"arxiv_id":"1406.7413","doi":null,"metadata_source":"pith","pith_arxiv_id":"1406.7413","snapshot_observed_at":"2026-06-28T16:32:22.604944Z","title":"Subsystems and regular quotients of C-systems","venue":"math.LO","work_id":"e72177f8-1a9c-4cad-8f23-fb93c898eace","year":2014},"citing_paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/1406.7413","citing_paper":"/paper/2606.00952"},"observation_digest":"sha256:75f7a152ffbaf5ab95619d36506b2e509fa7be6f0974ebc7945ed957f03b6ad6","observation_id":"55cbdf84-add9-4c99-af91-64fc13c08f4b","resolution":{"observed_at":"2026-06-28T16:32:22.606184Z","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"}}],"paper":{"arxiv_id":"2606.00952","last_updated":"2026-05-31T02:05:24Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-07T18:16:17.683129Z","submitted_at":"2026-05-31T02:05:24Z","title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":2,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":5,"verified_exact":4,"verified_fuzzy":0},"total_outbound_references":14},"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 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2606.00952."}