{"as_of":"2026-08-16T09:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:438c0361bb9c96b5e782469135fc0a0067da76a447812c3b6d8a80972f15cf02","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:31:35.297471Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.01212/citation-record","integrity":"/paper/1908.01212/integrity","json":"/paper/1908.01212/citation-record.json","paper":"/paper/1908.01212"},"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-14T15:31:35.469171Z","title":"Abstract and con- crete categories. The joy of cats","venue":null,"work_id":"09c520bc-be9a-4bf7-9b9e-2012cfc91338","year":2004},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.253030Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:9ad9af324a84edce64b3629d6efbe8fae3e15004cbcee669abbe5edc99932f4e","observation_id":"4b8e7640-2173-4256-a854-a7a9bef7bb11","resolution":{"observed_at":"2026-08-14T15:31:35.473489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.457150Z","title":"Handbook of categorical algebra: volume 1, Basic cate- gory theory","venue":null,"work_id":"65f56c66-914c-4e15-aa04-afac21206e39","year":1994},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.258001Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:add832f6cca9901b478f54f9d98640053e83026374be35ffb1b8920c8f306f5b","observation_id":"b23edc2d-738a-4810-b39c-6169d8999652","resolution":{"observed_at":"2026-08-14T15:31:35.461105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.446166Z","title":"Handbook of categorical Algebra: volume 2, Categories and Structures","venue":null,"work_id":"e73b2e6a-bdfd-4de2-9235-b14b58769126","year":1994},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.262083Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:973f0df414fc5698c924c29ba354793b53487395ba411498bc71dbaf2f581aa7","observation_id":"62eda0dd-938d-477d-ba6f-3d3859467da9","resolution":{"observed_at":"2026-08-14T15:31:35.449823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.435012Z","title":"2-categories and Zamolodchikov tetrahedra equations","venue":null,"work_id":"cc20284b-99e8-4152-827b-9a0ccab84652","year":1994},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.266147Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:b6c1331b488a41d3cb9273cf1705e8f8dcd41ca835c42455a2b7342b9a34b28f","observation_id":"ab14db68-b80a-4a00-acb1-bc60ff086636","resolution":{"observed_at":"2026-08-14T15:31:35.439004Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.419076Z","title":"Basic bicategories","venue":null,"work_id":"f522b047-fc8c-4f38-8dd2-49317e93dad9","year":null},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.270502Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:2357416dbccaa421c368bc02ead48ce8b40181a1a177dbadde9ed0090bc06a16","observation_id":"38d6eaca-f52c-4929-a85b-ddbea48f9994","resolution":{"observed_at":"2026-08-14T15:31:35.423402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.406267Z","title":"Typing linear algebra: A biproduct-oriented approach","venue":null,"work_id":"8ce2696b-ca7d-4707-98c1-0251601b4f6a","year":2013},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.274809Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:83321873452cdbb1d71ad4c0517745c5bb4fdd9a58a886dd54e68f8ecc655976","observation_id":"14adffd6-2ebf-413d-880e-c1c8123e048f","resolution":{"observed_at":"2026-08-14T15:31:35.410581Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.392832Z","title":"Categories for the working mathematician","venue":null,"work_id":"90ae6a9a-b7d5-41c1-ad91-58b7dc2d1644","year":2013},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.279117Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:7114f9a37d1eb36a3bdd3fc0cdeffb990ca43723dd940a8356771e8a8b3cd030","observation_id":"b9ff9d01-51d1-432e-8cd0-cc80d9e5aa17","resolution":{"observed_at":"2026-08-14T15:31:35.397939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.377973Z","title":"Abelian categories","venue":null,"work_id":"67887607-f02b-4920-9628-1b49223c0ac0","year":2006},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.283162Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:b7294605b2e6dfa7370745f9dacd91e4afc2efc7bc695b1a1fbf5e58e24827c7","observation_id":"98c1ac4c-5964-45ff-87c9-00a50ba29711","resolution":{"observed_at":"2026-08-14T15:31:35.382633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.364770Z","title":"What is a four dimensional space like?","venue":null,"work_id":"ba5ad086-c74c-48cd-a494-b1cb91b4a749","year":2014},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.286505Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:90fd21471cf39979f2544fbb3f65e84324301f60243720afb6f497eb32513763","observation_id":"b10ff0d5-7e8c-4ac8-8e5e-bae67bbd0bea","resolution":{"observed_at":"2026-08-14T15:31:35.369027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.351195Z","title":"Really rethinking’formal methods’","venue":null,"work_id":"63975c96-2a16-48a0-aba8-d3386eb03d6b","year":2010},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.289667Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:cdb9385413e297ccfdefa5a7d401f405610074bfe835fb6f180c23d6ba0ab01a","observation_id":"ec3f4c8c-1b9a-4864-ac24-ce1ac70f440c","resolution":{"observed_at":"2026-08-14T15:31:35.356320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.338303Z","title":"A 2-categorical pasting theorem","venue":null,"work_id":"986a3476-a378-471e-a4c8-ac3b200469ad","year":1990},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.293851Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:3831a936d3098c37d9fe1918880d651fab33eeb2ad6ff2185d7e6b312e93d69c","observation_id":"794615df-9db2-48ac-8957-84b5cf2db4e1","resolution":{"observed_at":"2026-08-14T15:31:35.342521Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:31:35.324419Z","title":"Elements of ∞-category theory","venue":null,"work_id":"98b95aa4-7582-4aab-aee5-8c83347312f3","year":2018},"citing_paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T15:31:35.297471Z"},"links":{"citing_paper":"/paper/1908.01212"},"observation_digest":"sha256:a07c2d06af48a1c23de69ad72c9274888063e7607a3586b02bd3af33e493d311","observation_id":"0a3c4724-e2e8-4e98-a4a0-8a987b721c7e","resolution":{"observed_at":"2026-08-14T15:31:35.329154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.01212","last_updated":"2025-01-09T13:40:59Z","latest_version":4,"primary_category":"math.CT","snapshot_observed_at":"2026-08-16T05:20:04.322382Z","submitted_at":"2019-08-03T18:13:59Z","title":"Typing Tensor Calculus in 2-Categories (I)"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":12},"total_outbound_references":12},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:1908.01212."}