{"as_of":"2026-08-16T16:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ec611fa60f069d7548034e62cda66b3d2f47cf27016c479df62250089f5736c5","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:58:29.527307Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"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.04132/citation-record","integrity":"/paper/1908.04132/integrity","json":"/paper/1908.04132/citation-record.json","paper":"/paper/1908.04132"},"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-14T13:58:30.285287Z","title":null,"venue":null,"work_id":"7e50d3db-c289-4c4d-b046-7bdc70602977","year":1965},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.142140Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:5983171a334c6dd669a997cb42951fb32785ee65ddbfa8d590c302efec7ec998","observation_id":"2b901576-9d53-4468-bf86-be5c1bb3779f","resolution":{"observed_at":"2026-08-14T13:58:30.290428Z","resolver_source":"raw_fallback","status":"unresolved"},"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-14T13:58:30.269976Z","title":null,"venue":null,"work_id":"85ffb9ea-1b3b-44de-ba55-b35ba01bc951","year":2009},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.204225Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:e1decc99fd06fe027691e0f2046278367b46d0323d5e1fae515ca5bf205df28b","observation_id":"9f9ff867-7a56-4a42-bf2f-769a60ce2a54","resolution":{"observed_at":"2026-08-14T13:58:30.274698Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:58:29.259204Z","title":"2 (2000), 147--185","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.259204Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:59a8b4bfcaea6016dae8595f319b19a0bac7c72aba70c18aabca93afb9909df5","observation_id":"5b787ba7-eb68-4b22-ad31-e6d0d83c8f50","resolution":{"observed_at":"2026-08-14T13:58:29.259204Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1003.1943","last_updated":"2017-10-26T13:58:47Z","snapshot_observed_at":"2026-08-15T05:24:36.039159Z","submitted_at":"2010-03-09T18:08:10Z","title":"An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization","version":5},"cited_work":{"arxiv_id":"1003.1943","doi":null,"metadata_source":"pith","pith_arxiv_id":"1003.1943","snapshot_observed_at":"2026-08-14T13:58:29.579691Z","title":"An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization","venue":"math.AC","work_id":"83c716ae-0c80-4538-aef8-922ed3be7a39","year":2010},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.265232Z"},"links":{"cited_paper":"/paper/1003.1943","citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:db683476bb38802e1a7d889d67ae8d232b8971dc6dce838701d733bbd5fb5df1","observation_id":"3da4aeb8-e92e-4961-b84d-91d654b5fb88","resolution":{"observed_at":"2026-08-14T13:58:29.585952Z","resolver_source":"local_arxiv","status":"verified_exact"},"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-14T13:58:30.244578Z","title":"96, Springer-Verlag, Berlin-New York, 1969","venue":null,"work_id":"5549b978-a832-49c2-b442-e9000820c638","year":1969},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.270701Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:bd0b777e407388b42546f6cbd349239c68ae320850ffc27c9596dbbccaf6d2fc","observation_id":"be22b07e-4cf0-4ef8-a346-d6f32a5942f1","resolution":{"observed_at":"2026-08-14T13:58:30.249624Z","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-14T13:58:30.230484Z","title":"Symbolic Comput","venue":null,"work_id":"d544203f-a2ac-48e8-8a50-66739ae919e0","year":2006},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.276234Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:2ea194d03d56d74430108e17d761d6976db578776893f8ccdf7c75b192c6bf5e","observation_id":"40a4af0e-01bb-4e6f-8d59-4fdc4ae6fd0a","resolution":{"observed_at":"2026-08-14T13:58:30.235366Z","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-14T13:58:30.212052Z","title":null,"venue":null,"work_id":"03feeb12-60ab-4148-9e58-4e0cc6bb5de8","year":1992},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.281233Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:4e8224511fa6256061af528ffd6c236f9299f106421853d0d9e7aefeff9e782f","observation_id":"59b135f8-f6ca-4c52-969f-2545f9311adb","resolution":{"observed_at":"2026-08-14T13:58:30.220590Z","resolver_source":"raw_fallback","status":"unresolved"},"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-14T13:58:30.181277Z","title":"Collins, A simple presentation of a group with unsolvable word problem, Illinois J","venue":null,"work_id":"0642eec1-aad8-4021-b01c-87c9b7702045","year":1986},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.286281Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:441e9f452d99eb7faf6a80dfadcd74b5dec7d504b96f0f4eb8fb35220e610766","observation_id":"fb0ee27a-7b16-48d0-945f-932f8e615150","resolution":{"observed_at":"2026-08-14T13:58:30.193309Z","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-14T13:58:30.123260Z","title":"A n introduction to the theory of functors , Harper's Series in Modern Mathematics, Harper & Row Publishers, New York, 1964","venue":null,"work_id":"dc7a952a-499c-45b5-8cf5-9ac78a64ad82","year":1964},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.290620Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:02209e4f23d45728ce1e82e90bec0c89894952b4b48477478b07d3e3a5248ee3","observation_id":"63c21543-ea23-4959-9429-445471ed8b70","resolution":{"observed_at":"2026-08-14T13:58:30.160526Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:58:29.295180Z","title":null,"venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.295180Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:0d05a610feca9c5b6a6ac87143d54cf4d59fe510986d14cad573ddaea0288165","observation_id":"5fe1f073-0019-4011-8b13-461843402de7","resolution":{"observed_at":"2026-08-14T13:58:29.295180Z","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-14T13:58:30.008925Z","title":null,"venue":null,"work_id":"d61b75a7-15fd-4293-8a7d-5f909f6036fb","year":2018},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.299751Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:671566b92269af5d394f79e564e2436eff1265a60ffa845d341d2444c97f6465","observation_id":"ff148497-279a-466b-b2c9-5072aeb605fd","resolution":{"observed_at":"2026-08-14T13:58:30.055007Z","resolver_source":"raw_fallback","status":"unresolved"},"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-14T13:58:29.918175Z","title":"Greuel and G","venue":null,"work_id":"6b42c80e-8979-44b4-9a56-346e2218a1fe","year":2002},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.307453Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:344167d0a28d23799f8b6f49ae3d6d4409c04bec06abf23d0c6659c9d3d352ea","observation_id":"61b165c4-f4f0-47fa-9e53-d23e27e870fb","resolution":{"observed_at":"2026-08-14T13:58:29.957136Z","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-14T13:58:29.903179Z","title":"Green, Noncommutative gröbner bases, and projective resolutions., In: Dräxler P., Ringel C.M., Michler G.O","venue":null,"work_id":"23beb671-0628-4831-9b5e-de9a72e0f646","year":null},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.311581Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:0e8a78eabc3d75fdb7b4c09bd44921e3a010930a196eedbd84bde1be3f54c734","observation_id":"a54eabd0-7745-478f-9bec-b72344c26665","resolution":{"observed_at":"2026-08-14T13:58:29.908009Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:58:29.315711Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.315711Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:11aef7943e17c8476c3110b0e6d344a55fb363a1313af71883c88630b46f7088","observation_id":"96e3189a-80d9-4d35-a4ab-c2e9a1ab709a","resolution":{"observed_at":"2026-08-14T13:58:29.315711Z","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-14T13:58:29.879681Z","title":null,"venue":null,"work_id":"3e552b3a-3d87-4d5a-9dae-ef7465150418","year":1965},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.320154Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:4e3fc82569102764afdaf6d894655e5caf5c748d8dbaff0712f9aef897ee7dfb","observation_id":"af1c7161-c70b-4b43-bede-b16b05433e50","resolution":{"observed_at":"2026-08-14T13:58:29.884487Z","resolver_source":"raw_fallback","status":"unresolved"},"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-14T13:58:29.863986Z","title":"Johnstone, Sketches of an elephant: a topos theory compendium","venue":null,"work_id":"83cdf150-3836-4267-8dc5-5beb7993bd63","year":2002},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.324415Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:507bed4f5f73f97ed8cd203ef7a2771de6fcff2ada5f50788c608dbd9ad25608","observation_id":"80220eef-08cc-41f8-8685-becbca5bc6e6","resolution":{"observed_at":"2026-08-14T13:58:29.869106Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:58:29.328988Z","title":"5, Springer-Verlag, New York, 1998","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.328988Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:7e22f95f0eadc5e9835a8fe819ea6aa7373f08b06ac23b56442f7fa0271a754a","observation_id":"aa9bb19b-f1dc-4b1f-a0b7-972e9ead1a4f","resolution":{"observed_at":"2026-08-14T13:58:29.328988Z","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-14T13:58:29.839179Z","title":null,"venue":null,"work_id":"2a710fc9-b179-4d38-b345-a1471c8b257b","year":1988},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.431203Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:8eb0211f408b4e27f800e0707ab01139866ed6e6a04c15c4c849cd67383d11d2","observation_id":"9833f493-6ddd-4646-97c5-12e23d1337f4","resolution":{"observed_at":"2026-08-14T13:58:29.844498Z","resolver_source":"raw_fallback","status":"unresolved"},"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":{"arxiv_id":"1712.03492","last_updated":"2017-12-10T10:11:26Z","snapshot_observed_at":"2026-08-14T20:05:12.134940Z","submitted_at":"2017-12-10T10:11:26Z","title":"A constructive approach to Freyd categories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1712.03492","snapshot_observed_at":"2026-08-14T13:58:29.503985Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.503985Z"},"links":{"cited_paper":"/paper/1712.03492","citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:7a4fec5313f8ec4d77b423dcd09b19e291d23e970ff138108e2d800ee7d21a71","observation_id":"08256d7b-37de-4776-970f-d4167cd9c762","resolution":{"observed_at":"2026-08-14T13:58:29.503985Z","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-14T13:58:29.823265Z","title":"thesis, University of Siegen, 2017, (http://dokumentix.ub.uni-siegen.de/opus/volltexte/2017/1179/ http://dokumentix.ub.uni-siegen.de/opus/volltexte/2017/1179/)","venue":null,"work_id":"c85c77a7-0129-414f-9820-2dc33a91958b","year":2017},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.509282Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:7f203577fb4c8102d0627f2eeba4f5876d9a088a481b200a88261196a31a89d6","observation_id":"359d11ee-5f5f-416e-b4b0-6cab673379b9","resolution":{"observed_at":"2026-08-14T13:58:29.828581Z","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-14T13:58:29.807484Z","title":null,"venue":null,"work_id":"8c515973-84fd-4c11-b5e6-d3ba09bf50d2","year":2018},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.513937Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:7eaceb23842e34a194ae5d7b34e7eda18c7d7779a3cf909c6ba8c4f5c3e9b517","observation_id":"340f63a6-1724-480b-8dfe-c74823e06f33","resolution":{"observed_at":"2026-08-14T13:58:29.812564Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:58:29.518025Z","title":"121, Cambridge University Press, Cambridge, 2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.518025Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:7a8c2ebfe2066e85f7d26bf21333c0a1c1b31c7d37f6b96752959a809e13734d","observation_id":"2d402cc7-f578-438e-b773-64753111f80e","resolution":{"observed_at":"2026-08-14T13:58:29.518025Z","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-14T13:58:29.779830Z","title":null,"venue":null,"work_id":"0492f168-847e-4ee1-800f-52c2bccf11d1","year":1962},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.523198Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:eb0e2efff04922a90dfa314d5cdb4bc39430d074e616d8884ba7c00ad1f6511f","observation_id":"1f9c06b7-bf65-4d9a-a813-43a0ab9f838f","resolution":{"observed_at":"2026-08-14T13:58:29.785389Z","resolver_source":"raw_fallback","status":"unresolved"},"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-14T13:58:29.693109Z","title":"Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1994","venue":null,"work_id":"c0be2cb7-873e-4eef-aa32-61b98f7b9b3f","year":1994},"citing_paper":{"arxiv_id":"1908.04132","last_updated":"2019-08-12T12:58:16Z","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-14T13:58:29.527307Z"},"links":{"citing_paper":"/paper/1908.04132"},"observation_digest":"sha256:772c1be2a3d25b807aedb94a624f4e6c7ae9cf94bfda7bbc0bb936abf4a76394","observation_id":"82930b43-42e5-4821-ac6d-c3dac3896bf9","resolution":{"observed_at":"2026-08-14T13:58:29.742997Z","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.04132","last_updated":"2019-08-12T12:58:16Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-14T13:48:17.685531Z","submitted_at":"2019-08-12T12:58:16Z","title":"Methods of constructive category theory"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":1,"verified_fuzzy":9},"total_outbound_references":24},"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 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:1908.04132."}