{"as_of":"2026-08-13T06:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:77e370baf7e68ad4c1e18d195470c93014e6ed5e731a225fed198adc0bc6d22c","coverage":[{"denominator":7,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":7,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T21:52:08.300529Z","state":"measured"},{"denominator":8,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":8,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T16:27:53.435302Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-01T21:46:15.138446Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"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:5e031368c017f693851891e8676769f64c912cd38f8326454ba4c88d3b323651","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2511.13547/citation-record","integrity":"/paper/2511.13547/integrity","json":"/paper/2511.13547/citation-record.json","paper":"/paper/2511.13547"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:52:08.176046Z","title":"Algebra valued functors in general and tensor products in particular","venue":null,"work_id":null,"year":1966},"citing_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},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-03T21:52:08.176046Z"},"links":{"citing_paper":"/paper/2511.13547"},"observation_digest":"sha256:78cc1c5f74aa195ab2c5e363637f161fc0817a6364f199141e88b1d91dc39d9a","observation_id":"cdfa78c4-a4f6-4ed2-ab03-58471b883761","resolution":{"observed_at":"2026-08-03T21:52:08.176046Z","resolver_source":null,"status":"malformed_identifier"},"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-03T21:52:08.300529Z","title":"The theory and practice of Reedy categories","venue":null,"work_id":null,"year":1989},"citing_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},"reference_index":104,"source":"pdf_text","source_observed_at":"2026-08-03T21:52:08.300529Z"},"links":{"citing_paper":"/paper/2511.13547"},"observation_digest":"sha256:b910c22c9449fae5877698e4385fa2072ac53b9282d638491521f574e6ccf568","observation_id":"9af9cdb9-4500-4d00-8b91-ba2b1e878bbb","resolution":{"observed_at":"2026-08-03T21:52:08.300529Z","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/0022-4049(92)90123-w.url:https://doi.org/10.1016/0022-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:03.117051Z","title":"The logic of structures","venue":null,"work_id":"ea9ff976-affb-4435-95fc-b39470c07d88","year":1994},"citing_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},"reference_index":189,"source":"pdf_text","source_observed_at":"2026-08-03T21:52:07.801302Z"},"links":{"citing_paper":"/paper/2511.13547"},"observation_digest":"sha256:47bd23b1ebd0f233926b1eeb4424f31f07c44b08b4dd3b1ea6f39ef835f3e783","observation_id":"fc17fa67-6e50-4889-8843-0008709edaa7","resolution":{"observed_at":"2026-08-03T21:54:03.192040Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1609.04622","last_updated":"2016-09-15T13:18:02Z","snapshot_observed_at":"2026-08-10T12:39:29.988588Z","submitted_at":"2016-09-15T13:18:02Z","title":"Algebraic models of homotopy types and the homotopy hypothesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1609.04622","snapshot_observed_at":"2026-08-03T21:52:08.255977Z","title":"Algebraic models of homotopy types and the homotopy hypothesis","venue":null,"work_id":null,"year":1971},"citing_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},"reference_index":221,"source":"pdf_text","source_observed_at":"2026-08-03T21:52:08.255977Z"},"links":{"cited_paper":"/paper/1609.04622","citing_paper":"/paper/2511.13547"},"observation_digest":"sha256:4476d3db73eb2d420e63b65e3ba8ae0e08f6431178cbdedf298a8ef9e3372531","observation_id":"dfde0ab3-062b-4742-b2d6-16a75984f11a","resolution":{"observed_at":"2026-08-03T21:52:08.255977Z","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-03T21:52:08.076961Z","title":"Generalised algebraic theories and contextual categories","venue":null,"work_id":null,"year":1986},"citing_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},"reference_index":1978,"source":"pdf_text","source_observed_at":"2026-08-03T21:52:08.076961Z"},"links":{"citing_paper":"/paper/2511.13547"},"observation_digest":"sha256:c571077dc233704e0efff034b3eb93a74bb71bc1136c24dcef856dbfc2adb8c5","observation_id":"9d18768f-c984-4d36-b15c-ef1d69707a65","resolution":{"observed_at":"2026-08-03T21:52:08.076961Z","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-03T21:52:07.992560Z","title":"Multilinearity of sketches","venue":null,"work_id":null,"year":1997},"citing_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},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-03T21:52:07.992560Z"},"links":{"citing_paper":"/paper/2511.13547"},"observation_digest":"sha256:191de6d2df8faeae6d9625b42acf4a8eeb12d84480f6d02441748f8eb4b9f804","observation_id":"49b941f3-17bb-4e6b-8814-7ba8160acdbf","resolution":{"observed_at":"2026-08-03T21:52:07.992560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.12937","snapshot_observed_at":"2026-08-03T21:52:07.866978Z","title":"Homotopy Languages","venue":null,"work_id":null,"year":2004},"citing_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},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-03T21:52:07.866978Z"},"links":{"cited_paper":"/paper/2004.12937","citing_paper":"/paper/2511.13547"},"observation_digest":"sha256:436aa597708d83d5302167c4cbc28cd755d2c0f873df70a1f1b735607ff39998","observation_id":"25df0bc4-bf0e-47ae-bc61-2d2a0b4ffd90","resolution":{"observed_at":"2026-08-03T21:52:07.866978Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2511.13547","last_updated":"2026-05-31T01:48:03Z","latest_version":2,"primary_category":"math.CT","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"},"reference_resolution":{"displayed":7,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":7},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 7 of 7 outbound references and 1 inbound Pith citation observation for arXiv:2511.13547."}