{"as_of":"2026-08-11T19:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7a8b15271ee511602862f1ef1b0259f5d2dcce4ab100b6da8a76f56e0f61c74e","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T04:09:11.327857Z","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-11T06:34:44.6726+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-07-31T04:14:50.913896Z","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":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.24716","snapshot_observed_at":"2026-07-31T04:14:50.913896Z","title":"Taylor, Controlled theories, categorification, and homotopification","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28540","last_updated":"2026-07-30T17:10:11Z","snapshot_observed_at":"2026-08-10T12:39:29.041032Z","submitted_at":"2026-07-30T17:10:11Z","title":"Algebraic coherators, controlled theories, and Grothendieck realizations","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-07-31T04:14:50.913896Z"},"links":{"cited_paper":"/paper/2607.24716","citing_paper":"/paper/2607.28540"},"observation_digest":"sha256:316658d987464eb70e478035c7dccfcd112513429394eae2bd9959988e82e776","observation_id":"9d785f5f-ec95-44db-82ce-fa0ec6511bcf","resolution":{"observed_at":"2026-07-31T04:14:50.913896Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.24716/citation-record","integrity":"/paper/2607.24716/integrity","json":"/paper/2607.24716/citation-record.json","paper":"/paper/2607.24716"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T04:09:08.816689Z","title":"Ad´ amek and J","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:08.816689Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:59cdec59711c7d2ad5ba4e66175d0f5c30357976ed6ece1383df03f902719efc","observation_id":"82f987d2-7e46-470a-9571-e3e5f4b99cff","resolution":{"observed_at":"2026-08-04T04:09:08.816689Z","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-04T04:09:10.847468Z","title":"CONTROLLED THEORIES, CATEGORIFICATION, AND HOMOTOPIFICATION53 [May, 1972] J","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.847468Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:b6fbcfa47e064eb4af63d1c715d506959e6e66600c375e6b000be8070a385a32","observation_id":"9c89e56d-1287-41d1-a9e2-f637444979fd","resolution":{"observed_at":"2026-08-04T04:09:10.847468Z","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-04T04:09:10.281003Z","title":"Joyal,The Theory of Quasi-Categories and Its Applications","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.281003Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:89fd1a860a2fa1ebfaa5d672f17e9c51a53c9d31100f511d0927f9f6f30186f6","observation_id":"3a0e87cb-1818-484d-b029-542b1784cc40","resolution":{"observed_at":"2026-08-04T04:09:10.281003Z","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-04T04:09:10.392138Z","title":"[Joyal, Street, and Verity, 1996] A","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.392138Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:7cdf3cf5d9e264d6120bbf329bfaf078f284ba447d1dc3d7d7b8e71de2ecad8d","observation_id":"916ecf2e-2302-4018-b138-0415e8b4aff8","resolution":{"observed_at":"2026-08-04T04:09:10.392138Z","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-04T04:09:10.756635Z","title":"Mac Lane,Natural Associativity and Commutativity","venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.756635Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:b8f96282f1611e5ce58e7ab09ba152674324a9c64e86f1d5a35a756093e09e08","observation_id":"803cfda6-4bcb-4e4d-b597-654b0587cd80","resolution":{"observed_at":"2026-08-04T04:09:10.756635Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1905.07181","last_updated":"2019-05-17T10:03:53Z","snapshot_observed_at":"2026-08-08T03:54:49.806886Z","submitted_at":"2019-05-17T10:03:53Z","title":"Enriched pro-categories and shapes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1905.07181","snapshot_observed_at":"2026-08-04T04:09:11.145697Z","title":"Ugleˇ si´ c,Enriched pro-categories and shapes","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:11.145697Z"},"links":{"cited_paper":"/paper/1905.07181","citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:2693c996f31a5b53f9735293a6e80425a4ccc7ef84a92750b0952018402ba89e","observation_id":"86cf5d9b-acd2-41b1-9fa0-de8d3443bbb5","resolution":{"observed_at":"2026-08-04T04:09:11.145697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"math/0007033","last_updated":"2000-07-06T17:20:07Z","snapshot_observed_at":"2026-08-10T23:08:48.810123Z","submitted_at":"2000-07-06T17:20:07Z","title":"Coherence, Homotopy and 2-Theories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"math/0007033","snapshot_observed_at":"2026-08-04T04:09:11.243470Z","title":"Uustalu,Coherence for skew-monoidal categories","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:11.243470Z"},"links":{"cited_paper":"/paper/math/0007033","citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:15f707d7fc569e04a628922c0591de92278b6ef4ab20a36e8c630b091357c8be","observation_id":"9fa93cd6-aacf-494b-aa02-19c7dd928c06","resolution":{"observed_at":"2026-08-04T04:09:11.243470Z","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-04T04:09:09.854384Z","title":"Gurski, N","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.854384Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:518a3089ec99a4e0cf669e6cc8178039c31f254dcd9b44cacbcab1a3a38d9937","observation_id":"d8bf308c-be7e-40d5-b7cb-04c360ea43d0","resolution":{"observed_at":"2026-08-04T04:09:09.854384Z","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-04T04:09:11.089805Z","title":"Riehl and D","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":1967,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:11.089805Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:10bf135a5513c7106085b5fdf5a04b7dbaf35a1c3be913b7dfcf7b019bce1977","observation_id":"4ebb45b3-e975-4c3c-ac31-05674019cf61","resolution":{"observed_at":"2026-08-04T04:09:11.089805Z","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-04T04:09:10.898972Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":1972,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.898972Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:a453814b055517dc1bc8de61511c9a641d3fb21ff0b594a77947ced986ed71a7","observation_id":"3b38f720-e8b4-4c3a-b5ac-ad1ce4f350dd","resolution":{"observed_at":"2026-08-04T04:09:10.898972Z","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-04T04:09:10.530349Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":1982,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.530349Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:eb0658424af389e00c2463d1f6500422a175979bd6885f1d8e88f838441fcecd","observation_id":"057feded-52dc-451d-b87a-c8a02a8192ad","resolution":{"observed_at":"2026-08-04T04:09:10.530349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.07191","last_updated":"2023-09-18T02:50:03Z","snapshot_observed_at":"2026-08-04T04:54:14.100420Z","submitted_at":"2020-06-11T16:10:37Z","title":"The $\\omega$-categorification of Algebraic Theories","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.07191","snapshot_observed_at":"2026-08-04T04:09:08.887533Z","title":null,"venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:08.887533Z"},"links":{"cited_paper":"/paper/2006.07191","citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:ea8467e0d882455b0d5b9e9c7d186c23e12f506740894c6bedd1c59d4024b996","observation_id":"bb90131d-563c-4c30-a27f-d3a215084951","resolution":{"observed_at":"2026-08-04T04:09:08.887533Z","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-04T04:09:09.274625Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.274625Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:171218fef0acdeb1a243a0be18d96194a8d115f424a4d3863658dc8a4297cae5","observation_id":"d804f98c-d221-4a33-beca-e5af603fadf3","resolution":{"observed_at":"2026-08-04T04:09:09.274625Z","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-04T04:09:10.104065Z","title":"Johnson and A","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.104065Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:f1881b8ebed2d1e1d95bcc1f0b313310d115810ec948906d7334a7f555624366","observation_id":"858e6735-6326-40cd-bff9-4718e864d75f","resolution":{"observed_at":"2026-08-04T04:09:10.104065Z","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-04T04:09:09.455515Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":1999,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.455515Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:707e92d607a28b6624184bf84a607a0ca8ef592b4909fbba9a3a63f926df9183","observation_id":"ea5c7c1f-22f1-4db3-a9a7-0cfe85f772b3","resolution":{"observed_at":"2026-08-04T04:09:09.455515Z","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-04T04:09:11.327857Z","title":"Yau,Colored Operads","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:11.327857Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:dd7bff6131f64543085ecfd9638d978909638124d44d95592c87b6b8422be3fa","observation_id":"3ebb180c-5bb2-4cdc-9204-2bd68573bcbb","resolution":{"observed_at":"2026-08-04T04:09:11.327857Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"math/9803002","last_updated":"1998-02-28T13:31:41Z","snapshot_observed_at":"2026-07-07T06:08:20.634905Z","submitted_at":"1998-02-28T13:31:41Z","title":"Monoidal model categories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"math/9803002","snapshot_observed_at":"2026-08-04T04:09:09.956299Z","title":"Hovey,Monoidal Model Categories","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.956299Z"},"links":{"cited_paper":"/paper/math/9803002","citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:82b58f963625263f163fef006b549a03931f11761a3b6cb8ef25601da1297237","observation_id":"f5ae29ea-1c8c-44a0-8a1d-801afb56bc33","resolution":{"observed_at":"2026-08-04T04:09:09.956299Z","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-04T04:09:10.696989Z","title":"Lurie,Higher Topos Theory","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.696989Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:35a74b0d3a2eff2a92122f5b5c0b4480b28d1ff02b450cd14a72c79aaa2e989e","observation_id":"c532c606-46e9-4c40-acad-43e31f983bdc","resolution":{"observed_at":"2026-08-04T04:09:10.696989Z","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-04T04:09:09.640850Z","title":null,"venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.640850Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:7a5a038458b0708acb534b1700e25e7bbb369c51553e59ae240882f796af9bba","observation_id":"1e3993b0-a93f-492a-a7ad-e032c9fe4e69","resolution":{"observed_at":"2026-08-04T04:09:09.640850Z","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-04T04:09:09.156397Z","title":"Dugger,Coherence for invertible objects and multigraded homotopy rings","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.156397Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:d31e5b44fd02b7332d35c4a44ab8cf533ad46313f554ab4b1ebddead47d4c5a9","observation_id":"94798c8d-d3ec-4e44-bc00-1e3ccab4d6a9","resolution":{"observed_at":"2026-08-04T04:09:09.156397Z","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-04T04:09:10.631798Z","title":null,"venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.631798Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:6412a77c5a3301720e8431eb7a187c7956f2755b54d6c76d83cbe0fdc4b566ed","observation_id":"b76b67ec-91f6-4f44-be64-fdf0dbbedc1d","resolution":{"observed_at":"2026-08-04T04:09:10.631798Z","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-04T04:09:09.361255Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.361255Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:c048c88ed866b3a75a765e28958a26f3aee416e74bd7c8e9e30775d9ba938a96","observation_id":"37194fb8-74ea-44c4-98b9-3110181a5c5e","resolution":{"observed_at":"2026-08-04T04:09:09.361255Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"0904.0125","last_updated":"2009-04-01T12:59:15Z","snapshot_observed_at":"2026-08-10T07:35:26.493975Z","submitted_at":"2009-04-01T12:59:15Z","title":"Coherence for rewriting 2-theories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"0904.0125","snapshot_observed_at":"2026-08-04T04:09:09.027284Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.027284Z"},"links":{"cited_paper":"/paper/0904.0125","citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:5b4d631a23334bd11d8bba53603ca11bc8656693645aa05f28a333183c786df2","observation_id":"2379551a-8d67-4c89-a49c-23b039ef1e25","resolution":{"observed_at":"2026-08-04T04:09:09.027284Z","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-04T04:09:09.757785Z","title":"Gurski and N","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:09.757785Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:d30cb80e7ca22638381c0ed424138323f50c73a8a49fe879c0fc690d6db81913","observation_id":"b39017ab-d03f-408e-b6b4-c64e78db6061","resolution":{"observed_at":"2026-08-04T04:09:09.757785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.14332","last_updated":"2026-06-04T17:06:26Z","snapshot_observed_at":"2026-08-08T14:56:12.795159Z","submitted_at":"2026-02-15T22:58:48Z","title":"2-dimensional Lawvere theories, commutativity, and higher Day convolution","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.14332","snapshot_observed_at":"2026-08-04T04:09:11.003161Z","title":"[Perutka, 2026] T","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:11.003161Z"},"links":{"cited_paper":"/paper/2602.14332","citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:bf9de3c5cc11fa615ae20c95d52b3e80c6b83385a006a7a4be69b9da930e065e","observation_id":"998aa1a3-4e49-4fb8-aad2-60bcbfb6edce","resolution":{"observed_at":"2026-08-04T04:09:11.003161Z","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-04T04:09:10.951415Z","title":"Patterson,Unbiased monoidal categories are pseudo-elements","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:10.951415Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:38f377ae720e432755fb80502657b08327f810e718da95f956fd7f95765c78dd","observation_id":"b0fe0ad3-e902-48ff-960d-b50399a6475b","resolution":{"observed_at":"2026-08-04T04:09:10.951415Z","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-04T04:09:11.045742Z","title":"Power,Enriched Lawvere theories","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification","version":2},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-04T04:09:11.045742Z"},"links":{"citing_paper":"/paper/2607.24716"},"observation_digest":"sha256:cde2edffe65278afcb63c34657201b175e6d38eafd0ea66bd14c3cd19f934d4f","observation_id":"8094d60d-9f05-40da-b605-9b84b114c1ad","resolution":{"observed_at":"2026-08-04T04:09:11.045742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.24716","last_updated":"2026-08-03T15:40:05Z","latest_version":2,"primary_category":"math.CT","snapshot_observed_at":"2026-08-11T01:18:52.253927Z","submitted_at":"2026-07-27T17:52:22Z","title":"Controlled theories, categorification, and homotopification"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":27,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":27},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 1 inbound Pith citation observation for arXiv:2607.24716."}