{"as_of":"2026-08-19T03:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6a025d2f7baffb7ed65d99dc8e519be4d6be8c1615def14f882f85fbbe31c67e","coverage":[{"denominator":110,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T20:27:37.587656Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2501.17869/citation-record","integrity":"/paper/2501.17869/integrity","json":"/paper/2501.17869/citation-record.json","paper":"/paper/2501.17869"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1809.06940","last_updated":"2018-09-18T21:26:05Z","snapshot_observed_at":"2026-08-15T03:09:21.939924Z","submitted_at":"2018-09-18T21:26:05Z","title":"Cartesian Double Categories with an Emphasis on Characterizing Spans","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1809.06940","snapshot_observed_at":"2026-08-10T20:27:37.107987Z","title":"Cartesian Double Categories with an Emphasis on Characterizing Spans","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.107987Z"},"links":{"cited_paper":"/paper/1809.06940","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:59cf7c8498baddf27f626549bbd869fd7236eaff485148c2c9f746a76493f251","observation_id":"7e75d8df-7c80-48e6-809f-36426417152a","resolution":{"observed_at":"2026-08-10T20:27:37.107987Z","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":"2302.14014","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:27:38.162615Z","title":"The formal theory of relative monads","venue":null,"work_id":"e9bcac6f-e794-477a-808c-76ef76c3b881","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.113970Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:43b99c918ae7556ccc7c37d99a28ce0f1d687f23cb83f6e75b973525ffd093cb","observation_id":"1a85d8b3-5f95-46ce-9193-426c19e66b6b","resolution":{"observed_at":"2026-08-10T20:27:38.169457Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.01281","last_updated":"2024-10-17T08:27:52Z","snapshot_observed_at":"2026-08-16T14:04:34.225795Z","submitted_at":"2024-04-01T17:54:06Z","title":"The nerve theorem for relative monads","version":2},"cited_work":{"arxiv_id":"2404.01281","doi":null,"metadata_source":"pith","pith_arxiv_id":"2404.01281","snapshot_observed_at":"2026-08-10T20:27:38.080356Z","title":"The nerve theorem for relative monads","venue":"math.CT","work_id":"e7b50eea-3885-475b-b4fb-92011142685b","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.119973Z"},"links":{"cited_paper":"/paper/2404.01281","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:b0625c5f70a777cdf82eadf1ab64dec0cf0df44529784a725c94d1ef8bc06724","observation_id":"5d6a4b17-add7-457d-8c91-57d6d55dfa67","resolution":{"observed_at":"2026-08-10T20:27:38.085827Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:37.124904Z","title":"Bicategorical type theory: Semantics and syntax","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.124904Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:b8f7d7521bb151cbfdac7c95b2aa40c62ce2e914d0d71559ad8c133458518f63","observation_id":"7c9e14c4-07a2-4a1f-b866-14b476f3d02a","resolution":{"observed_at":"2026-08-10T20:27:37.124904Z","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-10T20:27:37.129624Z","title":"tangle, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.129624Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:9380129379b8c90a8f154b07f1d341ac8dae5eee5484d761b9899af80481102d","observation_id":"e4e0d78c-bd42-4037-aa92-fb5841b16442","resolution":{"observed_at":"2026-08-10T20:27:37.129624Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.07055","last_updated":"2024-01-13T12:09:02Z","snapshot_observed_at":"2026-08-16T14:27:46.026771Z","submitted_at":"2024-01-13T12:09:02Z","title":"Diagrammatic Algebra of First Order Logic","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.07055","snapshot_observed_at":"2026-08-10T20:27:37.134695Z","title":"Diagrammatic Algebra of First Order Logic , January 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.134695Z"},"links":{"cited_paper":"/paper/2401.07055","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:d43362a747700273d6cef75e1e3ae090493f54279e6a173577a5bdf85ffd756a","observation_id":"6fb37720-0d65-45dd-8517-aeb6a69ada20","resolution":{"observed_at":"2026-08-10T20:27:37.134695Z","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-10T20:27:37.140855Z","title":"Exact categories","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.140855Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:6aeb6eaabdfc133bc9b7ac221b1d2ce6031c6ddd9c7aa99f19d41b343b3b72f2","observation_id":"82702859-e07d-46ae-b9ef-3a90fb0a9aec","resolution":{"observed_at":"2026-08-10T20:27:37.140855Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.08699","last_updated":"2017-11-23T14:15:58Z","snapshot_observed_at":"2026-08-15T19:39:35.060819Z","submitted_at":"2017-11-23T14:15:58Z","title":"Functorial Semantics for Relational Theories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.08699","snapshot_observed_at":"2026-08-10T20:27:37.145198Z","title":"Functorial Semantics for Relational Theories , November 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.145198Z"},"links":{"cited_paper":"/paper/1711.08699","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:82fabad61b825bb0d65b65aeb934c316b2d4ad29a4a8e07cf2ccfcd27870c83e","observation_id":"9c22693a-ec4e-484a-af65-0d523134b3a1","resolution":{"observed_at":"2026-08-10T20:27:37.145198Z","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-10T20:27:37.150837Z","title":"On Doctrines and Cartesian Bicategories","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.150837Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:e94e03a76b5f2909af287cbfa65977d423874dbe937341026c81a9d62486f578","observation_id":"e5615a23-b2e5-4c85-8db0-4c330f1f4a4a","resolution":{"observed_at":"2026-08-10T20:27:37.150837Z","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-10T20:27:37.155662Z","title":"Introduction","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.155662Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:d5970ef1eb7dc21f5a21891f8a230dd4441d5998dced6e009be5676d85f1eff0","observation_id":"b50db7bb-1093-4e5f-a146-580c51325a47","resolution":{"observed_at":"2026-08-10T20:27:37.155662Z","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-10T20:27:37.160182Z","title":"T -cat\\'egories (cat\\'egories dans un triple)","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.160182Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:e64d76519a3d48b987bd9b738c549459909833f8b88905be3c825b7cbd7a6d20","observation_id":"fe403f97-1aaf-4fd2-b85d-c2adb559ad95","resolution":{"observed_at":"2026-08-10T20:27:37.160182Z","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-10T20:27:37.164484Z","title":"Generalised algebraic theories and contextual categories","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.164484Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:458fb8f58d66d997981905d84bd68228c54db275004d6d3a68ad841ed55a783d","observation_id":"c2b861dc-4455-43f2-bb5b-d369cd6b29c7","resolution":{"observed_at":"2026-08-10T20:27:37.164484Z","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-10T20:27:37.168317Z","title":"The Biequivalence of Locally Cartesian Closed Categories and Martin-L \\\"of Type Theories","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.168317Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:99db8069bc75d7a7072808662be5a9aaf9b47f2c1acbddaba32d89237bd395de","observation_id":"6c65e9a5-a5e8-46ef-84d5-8589ce4e6ae7","resolution":{"observed_at":"2026-08-10T20:27:37.168317Z","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-10T20:27:37.172781Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.172781Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:8e2dcdc4400f5d721418e978a44e8be4e6ca1f41f50065b357c1bdb4b651f468","observation_id":"e3a2ca32-8e3a-419c-80fb-f5c2b3f42757","resolution":{"observed_at":"2026-08-10T20:27:37.172781Z","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-10T20:27:37.176973Z","title":"Bicategories of spans and relations","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.176973Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:c58fb93a542b7a62b2b4de4abd1d4c2577e2de760af0ace39a1410957af0d793","observation_id":"2a44539c-4e53-4b3a-bb23-1dec4684f5c7","resolution":{"observed_at":"2026-08-10T20:27:37.176973Z","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-10T20:27:37.181240Z","title":"Carboni, G","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.181240Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:8c7da93da487fb97b48db973ab1d39fa155455e065d6d2c2d54493a3608c892a","observation_id":"9b8130e4-aef6-4338-a962-b342763d4307","resolution":{"observed_at":"2026-08-10T20:27:37.181240Z","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-10T20:27:37.185679Z","title":"Carboni, G","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.185679Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:466229253a2b63fe33ac45a76a55e3fb9682f6ab8206372c2936906808a4c4fb","observation_id":"b61a4cb6-9da1-429b-a09c-b8c9f0eefef9","resolution":{"observed_at":"2026-08-10T20:27:37.185679Z","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-10T20:27:37.190518Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.190518Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:69572205a0e5b7ecb68e077e5d9f4d184e82f6725b4878256e5602ce73abf630","observation_id":"6effc00b-6356-4132-bee3-df8d3d21a5c0","resolution":{"observed_at":"2026-08-10T20:27:37.190518Z","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-10T20:27:37.196965Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.196965Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:59c7abe818d3b7fc86dae33eba946b05f47f875a7483df97d4b1de317b7acfcd","observation_id":"be46a8df-0b0b-479d-baf3-ca85c46ff032","resolution":{"observed_at":"2026-08-10T20:27:37.196965Z","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-10T20:27:37.202861Z","title":"Carboni and R","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.202861Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:1c01c0cf6f97df1c3614cf66fb46ac3f25d90f07d0562b631eecf5d8fe53eb13","observation_id":"d04e27ee-915e-4f60-b2ec-bde692846de3","resolution":{"observed_at":"2026-08-10T20:27:37.202861Z","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-10T20:27:37.206837Z","title":"Quotients and extensionality in relational doctrines","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.206837Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:15422d696659679db8b15d448ce663bd0ba1ff3cd22af0dffc6d5e8c1a6b56b6","observation_id":"57756c2d-64a2-409c-b4e4-b00e1fa99daf","resolution":{"observed_at":"2026-08-10T20:27:37.206837Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.19266","last_updated":"2024-02-29T15:37:31Z","snapshot_observed_at":"2026-08-18T21:22:37.494412Z","submitted_at":"2024-02-29T15:37:31Z","title":"Cauchy-completions and the rule of unique choice in relational doctrines","version":1},"cited_work":{"arxiv_id":"2402.19266","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.19266","snapshot_observed_at":"2026-08-10T20:27:38.026559Z","title":"Cauchy-completions and the rule of unique choice in relational doctrines","venue":"math.CT","work_id":"979fc120-4911-4704-84b4-7e537715cf57","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.211563Z"},"links":{"cited_paper":"/paper/2402.19266","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:c395a70be356d42201663b7ca4d9040abba0cf43e21d27acdf17b43e751b73ee","observation_id":"7b948e40-4b74-41e7-8223-c2c27f5236b7","resolution":{"observed_at":"2026-08-10T20:27:38.033075Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-18T02:54:15.840020Z","submitted_at":"2024-12-15T20:05:47Z","title":"The Relational Quotient Completion","version":1},"cited_work":{"arxiv_id":"2412.11295","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.11295","snapshot_observed_at":"2026-08-10T20:27:38.005434Z","title":"The Relational Quotient Completion","venue":"math.CT","work_id":"83cafd70-f8e6-4cbf-af10-403d7574f3ae","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.216535Z"},"links":{"cited_paper":"/paper/2412.11295","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:122242b6da2965efa6d02c737bb1e83cd53b80f8ff3e18a4a7b920981ac57a93","observation_id":"24d59615-cec4-429c-b711-b1b20fc28835","resolution":{"observed_at":"2026-08-10T20:27:38.010206Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:37.221008Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.221008Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:cf30930b9f37d4936100f415e6e366aea048ac2cad28df15bc496984a98e1658","observation_id":"9bbe261e-3de4-413c-b5ae-a8f8613c30d6","resolution":{"observed_at":"2026-08-10T20:27:37.221008Z","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-10T20:27:37.225210Z","title":"Elementary fibrations of enriched groupoids","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.225210Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:a1d3198746864ed44dc46f5cddbd829c50feab021eabfbe3cc5fae8d7e905dbb","observation_id":"bc898a7c-c6c9-4716-9d83-71ecd25cb602","resolution":{"observed_at":"2026-08-10T20:27:37.225210Z","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-10T20:27:37.229816Z","title":"A characterisation of elementary fibrations","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.229816Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:c0a4d1c8b6a9369ae63e91d9cc431fb00bc015860251709c0d5ad5b3a0ea965f","observation_id":"a370581b-d462-4b63-aea8-1efbeb2b9b7f","resolution":{"observed_at":"2026-08-10T20:27:37.229816Z","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-10T20:27:37.234977Z","title":null,"venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.234977Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:8ca40824f5ed1e73b8af185173d954258a6a79df5cab4c94c01d9559b1f317de","observation_id":"50af2d14-ec55-467b-a2ca-8655c6dc4487","resolution":{"observed_at":"2026-08-10T20:27:37.234977Z","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-10T20:27:37.239540Z","title":"Freyd and Andre Scedrov","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.239540Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:f7d41154174aa8a49b60df730f19ed789d5c123c77c8440e0fee2ddf3c7c4019","observation_id":"621ccdcf-8235-437c-9c48-4038ff058c45","resolution":{"observed_at":"2026-08-10T20:27:37.239540Z","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-10T20:27:37.242862Z","title":"Enriched -categories via non-symmetric -operads","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.242862Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:32e22cbb6ec296437ba8f451e383fab8adfe1430b6752b17a15073671a3e1022","observation_id":"203b4389-dc1b-448a-8b1f-6ba6a285d3e1","resolution":{"observed_at":"2026-08-10T20:27:37.242862Z","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-10T20:27:37.246996Z","title":"Limits in double categories","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.246996Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:9e7cb19ee50cc243a07d6f5517dcd049e684d573386482e61ffedf805584fe76","observation_id":"db535124-0f7d-49da-8ba8-7d11882fa0dd","resolution":{"observed_at":"2026-08-10T20:27:37.246996Z","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-10T20:27:37.251442Z","title":"Adjoint for double categories","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.251442Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:58b03c1d8cf72f9725271f9399cc86f7cc6311beb05c13d91708c73ebb6b4de7","observation_id":"150e924f-79d8-441b-8474-1ebb799d1a67","resolution":{"observed_at":"2026-08-10T20:27:37.251442Z","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-10T20:27:37.256053Z","title":null,"venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.256053Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:198b676de8a0ac13a0e30d7b79fcdf61164e427f24f9566bc23177af4118e230","observation_id":"de31d887-a5f8-4dfc-94fb-8a68b5f5791d","resolution":{"observed_at":"2026-08-10T20:27:37.256053Z","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-10T20:27:37.260762Z","title":"Higher Dimensional Categories -- From Double to Multiple Categories","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.260762Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:7a169662b336b6568c96e0fac76c7165b154edd65d9698587f082bf607cb16d4","observation_id":"010373fe-44f9-44a0-988e-45ceb010a9cd","resolution":{"observed_at":"2026-08-10T20:27:37.260762Z","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-10T20:27:37.265838Z","title":"Categories fibrees et descente","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.265838Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:71d3a617ad1038d59dafb1f132d2f75acee5f5b5bef839251301f4a667d4f298","observation_id":"ed4b5d0b-fc66-403d-b858-fc8651c1bae7","resolution":{"observed_at":"2026-08-10T20:27:37.265838Z","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-10T20:27:37.271305Z","title":"Fibrations, Logical Predicates and Indeterminates","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.271305Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:b147bb1bf9553032f5a0d9927bc94c59add196a384e4a8a37fb3981e5e944b8b","observation_id":"c2898040-5cfd-423e-a28e-751fa254d9d6","resolution":{"observed_at":"2026-08-10T20:27:37.271305Z","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-10T20:27:37.275975Z","title":"On fibred adjunctions and completeness for fibred categories","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.275975Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:4445ece40dd5be4c7ff21a08a31c06a40ce37441a7b854072cb198c5760c81d6","observation_id":"546a88ef-d126-46ea-b3ff-f0fb4a62a1f1","resolution":{"observed_at":"2026-08-10T20:27:37.275975Z","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-10T20:27:37.280701Z","title":"Some properties of Fib as a fibred 2 -category","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.280701Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:390edd31efdf68a5b8b809cb32c65d55c49573ad262b9694e61cca437d81437f","observation_id":"cf7641e8-4153-47a2-aecc-4bc10838f550","resolution":{"observed_at":"2026-08-10T20:27:37.280701Z","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-10T20:27:39.196461Z","title":"Representable multicategories","venue":null,"work_id":"bcf16e95-490b-4082-81d7-aac4638cf606","year":2000},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.285160Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:44b18cca51c97dab50522be931108f9498c9a83de5fa045a7e8b6d5b7e781319","observation_id":"843f89f4-9c33-46f8-906b-8cdca0658209","resolution":{"observed_at":"2026-08-10T20:27:39.200585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.183246Z","title":"Factorization systems and fibrations: Toward a fibred birkhoff variety theorem","venue":null,"work_id":"cc250828-2a1a-43db-8845-6412c1a4dad5","year":2003},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.290515Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:c042cb5feafb81bb2940562d28bf40e215097703e49dba2e5d77f3f72f41eb01","observation_id":"dc8a8935-ea17-426e-bfaa-59905257f3ae","resolution":{"observed_at":"2026-08-10T20:27:39.187963Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.19428","last_updated":"2025-01-23T01:51:36Z","snapshot_observed_at":"2026-08-17T07:49:25.713063Z","submitted_at":"2023-10-30T10:37:34Z","title":"Double categories of relations relative to factorisation systems","version":3},"cited_work":{"arxiv_id":"2310.19428","doi":null,"metadata_source":"pith","pith_arxiv_id":"2310.19428","snapshot_observed_at":"2026-08-10T20:27:37.987109Z","title":"Double categories of relations relative to factorisation systems","venue":"math.CT","work_id":"f01dcd16-4ae9-4da0-9503-25e721f87a51","year":2023},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.296125Z"},"links":{"cited_paper":"/paper/2310.19428","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:e6089a021d422b3b3c15b33b0ad92096a8edfe3c02b5393405b7231a75dde673","observation_id":"5e077d64-3e63-4d3c-905f-e32e74891d52","resolution":{"observed_at":"2026-08-10T20:27:37.991937Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.166035Z","title":null,"venue":null,"work_id":"a4402294-6067-46ef-b803-651c308087c4","year":2022},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.300755Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:3e7749a30be4a7901a1cc63f6de0852e2c4f37712c483e25f29268615492c326","observation_id":"cb1f31fb-8892-4645-8038-300aaf29d9e5","resolution":{"observed_at":"2026-08-10T20:27:39.169693Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.140714Z","title":"The groupoid interpretation of type theory","venue":null,"work_id":"509edd85-f346-4541-bc12-9e04a86f7ec1","year":1995},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.305260Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:b7f43fa128b36dcdefcdbb4f25eb58796450542c2d868b333eab38c4f4389a71","observation_id":"8972028c-ab74-433c-853b-f1ac30579072","resolution":{"observed_at":"2026-08-10T20:27:39.145775Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.127761Z","title":"Categorical logic and type theory , volume 141 of Studies in Logic and the Foundations of Mathematics","venue":null,"work_id":"f884d9fe-d835-4eb5-9be9-9b8458bc0ab8","year":1999},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.309175Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:2bdfdf77609b847b89928ec6aafaca8d5a55373a9f6e7957fa916adf86f8667f","observation_id":"0eb8bf2a-dba8-4013-b4a6-04cea79b2731","resolution":{"observed_at":"2026-08-10T20:27:39.131911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.115515Z","title":"Johnstone","venue":null,"work_id":"bed1f79f-db3f-41e3-a85f-f259b8b4f3b8","year":2002},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.313734Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:65fab4bca8d8434af62e6cc31b659a2b06c41f703d583973e3f0678551392cec","observation_id":"faf0b1ed-3d17-4c2d-8869-093985973729","resolution":{"observed_at":"2026-08-10T20:27:39.119500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.101965Z","title":"Johnstone","venue":null,"work_id":"fc5abddb-c0af-4ad2-a59d-d55799335d18","year":2002},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.318409Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:6609ea1204c78a34f3bfc1ffa6cc44f2204c60d973d998996605d34dcad151f7","observation_id":"079a2531-b999-4e59-925a-e953939c53a3","resolution":{"observed_at":"2026-08-10T20:27:39.106554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.086500Z","title":"Johnstone and Robert Par\\'e, editors","venue":null,"work_id":"fb3aaf0c-6ccf-4080-bfbf-b132246ebb53","year":1978},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.322303Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:07bd06878d4df9b4924188ac2268e7712280d0a747a5063d4ba01968a854e18a","observation_id":"aa38e875-b6d8-4745-93f8-0bf2ef7df3bd","resolution":{"observed_at":"2026-08-10T20:27:39.091136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.076190Z","title":"Categories of relations and functional relations","venue":null,"work_id":"00284537-a0df-4b43-89bd-908d98a57efc","year":2000},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.326118Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:7e17069da6d53ff61c7cda89de51e53bc37e480a9dac3b66834af7413a144282","observation_id":"9fc42f74-cb39-4630-9600-c775e3a1e2eb","resolution":{"observed_at":"2026-08-10T20:27:39.079761Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.063435Z","title":"Relations in categories with pullbacks","venue":null,"work_id":"556f227d-fddb-4313-995f-88c5ede1a70a","year":1973},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.330821Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:d5d381582e5c0bc6217bf2bfb28c2c63f7bb8d05085e968f7837072739f1eae1","observation_id":"ee7454c9-68e3-438c-b602-48a579ac37bb","resolution":{"observed_at":"2026-08-10T20:27:39.068267Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.050024Z","title":null,"venue":null,"work_id":"2d71e888-4de4-4c40-9dcd-6346bca5b3df","year":1990},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.334686Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:0004413793338448bca7a931fd967bf5457861a265f173685a0afc8dbf19e8a6","observation_id":"f47f55d7-206b-4109-bf00-f9cee8e18114","resolution":{"observed_at":"2026-08-10T20:27:39.054120Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.037203Z","title":null,"venue":null,"work_id":"3fefafd2-0472-4aa4-9792-51bac1370599","year":2005},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.338928Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:4ecfaae334e6cf140d3b067bee343a468cca0ffc2d230cd8e756517407b9318a","observation_id":"5f9628e0-ecd3-41fe-ab6b-320517d6568f","resolution":{"observed_at":"2026-08-10T20:27:39.041325Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.024521Z","title":"Relations in categories","venue":null,"work_id":"c386b363-8252-4505-b4ae-f60e2749522e","year":1970},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.343891Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:3e3dbfe793af745b6a27c95f9c38957a33a278d1ffd90b4edb2e972c8f20ee92","observation_id":"a2df7b73-3e31-4290-872d-2e26f2b93508","resolution":{"observed_at":"2026-08-10T20:27:39.028421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.012632Z","title":"Augmented virtual double categories","venue":null,"work_id":"ac4c8ca2-c5b4-472b-888f-81f723d6442f","year":2020},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.348754Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:4471da7decb5162cd77dec9b33bc02fcb62b024fd649b2eb2bfc81f6a5a560df","observation_id":"a88ea5e0-4811-4b44-b95f-00f317b186ff","resolution":{"observed_at":"2026-08-10T20:27:39.016561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:39.000142Z","title":"Formal category theory in augmented virtual double categories","venue":null,"work_id":"92df25d7-1fd0-4492-971a-7a7e3f5481cf","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.353788Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:54a4a8d51a75a8ad69f390de813f85e2794581121f3a7031b252cfeab89a7831","observation_id":"40254d60-fba7-4562-94ea-71dd6d2cd161","resolution":{"observed_at":"2026-08-10T20:27:39.004551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.987065Z","title":"Kock and G","venue":null,"work_id":"3daf9293-fcbe-4298-9e67-942814677ab2","year":1977},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.358598Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:9221d08eaf012049dc4d561fa2657337eefc2da3b9a6902bdb54a927f433a027","observation_id":"862e9527-eb98-4605-b27a-1ef803d0317b","resolution":{"observed_at":"2026-08-10T20:27:38.991359Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.966840Z","title":null,"venue":null,"work_id":"2b1490a6-699d-4681-9796-2854c5d25ccf","year":1999},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.364899Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:f65483ab354a0cd65761608dc266f20a711799307c0a80f784f9c5e0f3d5b193","observation_id":"4e65ee4a-808a-463c-bf50-9db25a649147","resolution":{"observed_at":"2026-08-10T20:27:38.977750Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.942273Z","title":"Double Categories of Relations","venue":null,"work_id":"77d634f7-0001-4379-9430-138c52a60c8a","year":2022},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.369354Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:87e6df6a998565c651abe3f240dd794bef8b2a8ebe42a09bce1d76bfc416bbb2","observation_id":"a297ade2-df9e-4b7f-a963-ddf59faaad3c","resolution":{"observed_at":"2026-08-10T20:27:38.958228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.922738Z","title":"William Lawvere","venue":null,"work_id":"fb9009c3-f927-47bd-b6fa-45313645a494","year":1963},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.373900Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:83f538e20c1ff145fcecea98200ee286d9bc45722a821efa777b68931122a0da","observation_id":"835a39ef-acec-49a6-b261-74641391f44a","resolution":{"observed_at":"2026-08-10T20:27:38.926891Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.911280Z","title":"William Lawvere","venue":null,"work_id":"14d0498f-47b8-428f-993c-050674a33ec6","year":1969},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.379920Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:6d74ebda10fef892d0bab3780bb56f13ace16c4836b8668f9bd9c44c714147ed","observation_id":"f0fd1571-d10b-4a40-a77a-fb3b03fb7e8a","resolution":{"observed_at":"2026-08-10T20:27:38.915498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.897893Z","title":"William Lawvere","venue":null,"work_id":"6247c78a-547f-4997-8e1b-63b490c8ae94","year":1970},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.385387Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:438d11480dc5b44d3cfcb16937caddd8b730d8bc2c4c2c9b750d617f5614b8e0","observation_id":"4ad964c9-d801-4c03-ba8d-36500506a49b","resolution":{"observed_at":"2026-08-10T20:27:38.902697Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.879365Z","title":"William Lawvere","venue":null,"work_id":"b42a01c5-97e4-4095-991d-bd19bc40fcf5","year":1973},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.391657Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:2082fb75e692240a0d72d4e01c9a709a6bf83a8f0af1f9883ebe3e72b3acdd3c","observation_id":"7e3cab4d-d676-426b-9ef8-45015e31ee97","resolution":{"observed_at":"2026-08-10T20:27:38.884334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1502.08017","last_updated":"2015-02-27T19:07:02Z","snapshot_observed_at":"2026-08-15T14:15:45.347556Z","submitted_at":"2015-02-27T19:07:02Z","title":"Fibrations of predicates and bicategories of relations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1502.08017","snapshot_observed_at":"2026-08-10T20:27:37.396427Z","title":"Fibrations of Predicates and Bicategories of Relations","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.396427Z"},"links":{"cited_paper":"/paper/1502.08017","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:521ca2ecbef0ee64e6e980533a13c6ec36d4c6d28024ccf81bf704fde9d6bd22","observation_id":"02be3326-dd3a-4393-b02f-d04bda2794ae","resolution":{"observed_at":"2026-08-10T20:27:37.396427Z","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-10T20:27:38.860894Z","title":"Generalized enrichment of categories","venue":null,"work_id":"2d889df1-83bb-4e45-93f8-e239125172d5","year":2002},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.401893Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:95887277d097132b2fa78bee258548133e950b2e4c4036bf71cb5485217caadf","observation_id":"aa0dac08-be54-4837-a39c-521b2b47f9cf","resolution":{"observed_at":"2026-08-10T20:27:38.865234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.850043Z","title":"Higher Operads, Higher Categories , volume 298 of London Mathematical Society Lecture Note Series","venue":null,"work_id":"80ea4a16-ba1d-4f14-a3f5-91ac135bb0be","year":2004},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.406650Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:c5194c0b12422b72df42e9cff9e3df8fa0ccb6475f09ed0cd854c1021108e019","observation_id":"8c3162d9-b77a-4f3c-ad29-746615910a11","resolution":{"observed_at":"2026-08-10T20:27:38.854090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.836961Z","title":"Licata and Robert Harper","venue":null,"work_id":"897608a1-ea4a-43d1-9b19-cf67ccdc714d","year":2011},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.412296Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:2cfa05f18bb85d2f5765da0e53b079c5c994c5f40cc7582b4da5f1ff29464ee2","observation_id":"925898ac-8443-4a84-be29-ab9457099510","resolution":{"observed_at":"2026-08-10T20:27:38.841657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.815635Z","title":"FORMAL CATEGORY THEORY","venue":null,"work_id":"27317c97-d2b4-48c5-a495-d267f9e3b91d","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.417274Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:f135542acd3146478c5a0eb855048de7ee0123509643f2dc9771a4b37f117610","observation_id":"5f3a9273-b372-4769-9a0c-50f34116bc64","resolution":{"observed_at":"2026-08-10T20:27:38.827729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:37.422395Z","title":"Laretto, F","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.422395Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:6ef11895f2bc64f43266ed61c84128af7429cdea8d389d2518a8b76eb47f452c","observation_id":"43c8bf2a-5aa6-4927-aaa7-145d54f55bd1","resolution":{"observed_at":"2026-08-10T20:27:37.422395Z","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-10T20:27:38.801295Z","title":"( Co )End Calculus , volume 468 of London Mathematical Society Lecture Note Series","venue":null,"work_id":"279e870c-969b-4078-928c-df4de4113d06","year":2021},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.427952Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:d15583d18e89c0677ba645ed8f3eb879803c52c52e9564aac74542abac61682b","observation_id":"046cc836-f6f0-4d48-b71d-4272ec7ac8bc","resolution":{"observed_at":"2026-08-10T20:27:38.806261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.785952Z","title":"Categorical notions of fibration","venue":null,"work_id":"5e2115e2-2f5e-4212-9130-977e4eb9b895","year":2020},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.433071Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:b9b3b6df2574eef387b6f2cfcb73ce922b92719fab23c31755638e6ac52f08e5","observation_id":"24c9518c-dd6d-4e9f-a9c6-ba1517891dc2","resolution":{"observed_at":"2026-08-10T20:27:38.793022Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.772169Z","title":"Lambek and P","venue":null,"work_id":"60204735-da54-4e9b-80fa-5875b5c64e0f","year":1986},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.439825Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:f272b09d9d3499a8260257e76ef1b38749b27267f387d055a910878619da4a95","observation_id":"3b12e345-43fe-4734-962c-a2143223a4e8","resolution":{"observed_at":"2026-08-10T20:27:38.776515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.758061Z","title":null,"venue":null,"work_id":"13973e84-42f9-4185-bdaa-38b4124b59ac","year":2010},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.445348Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:e9178a655a47942ab137485ee9a2db5a2c973d64595a4a7a9c559f68ab4d2c17","observation_id":"1a572ee3-15c7-4884-9e36-56fb0deb3ac4","resolution":{"observed_at":"2026-08-10T20:27:38.762901Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.743039Z","title":"Exact completions and toposes","venue":null,"work_id":"433c4ba7-03bb-4b6f-bccb-5aa91356bffa","year":2000},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.449601Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:ab90357a3f0f20fa4b24acde99cbd77faa5d5cbf4c1c45457ce9e835af24f7ca","observation_id":"30c81902-113a-4408-bf4a-4a6c13f20734","resolution":{"observed_at":"2026-08-10T20:27:38.748121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.729034Z","title":"Relations in categories, 2000","venue":null,"work_id":"f338611d-3e9b-4667-98b9-d90a81a91c19","year":2000},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.454530Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:01a7275ed305c19edf41f09a8c5690edafdf5d1618f74aebb62d8ec26f49d43a","observation_id":"eaea0d88-516c-415b-8ba2-18a20c12d212","resolution":{"observed_at":"2026-08-10T20:27:38.734762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.715184Z","title":null,"venue":null,"work_id":"9bbc0532-f3fe-4ef9-8ef7-125a049ff0a6","year":1986},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.459007Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:c37b628c2e3877fe4ce61894fa518ffdba7e8a9c59d623c4c8b6f575e3fc053f","observation_id":"f6552ce5-9484-4fcc-bdcf-42324d78caec","resolution":{"observed_at":"2026-08-10T20:27:38.720743Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.702929Z","title":"Triposes, exact completions, and H ilbert's -operator","venue":null,"work_id":"eb3550f1-bdd7-4100-998a-c9f921588834","year":2017},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.463616Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:f1c45e20208e9f01feb6c024b3e0aaa459e6b4b17631438748f46762ebf00db8","observation_id":"2e0bc492-e6eb-47ae-92b4-e1c320a059ab","resolution":{"observed_at":"2026-08-10T20:27:38.706949Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.685596Z","title":"Elementary quotient completion","venue":null,"work_id":"55b3a703-3722-46e6-b9a0-a7618f4a7eab","year":2013},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.468657Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:ffe2f4a9892628dfebbec5550f3f35ca2ced6369f3ebafcb3c5cfcd7db560045","observation_id":"65c79f02-1b0b-400b-8e29-954a0766d72f","resolution":{"observed_at":"2026-08-10T20:27:38.690345Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.671490Z","title":"Quotient completion for the foundation of constructive mathematics","venue":null,"work_id":"629a7bfc-2b32-423b-b291-2ca9fecdd4ef","year":2013},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.473232Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:c7ef89d019ea4e045b303f6441fe2d18eb157c3868bd07d18f249d2af0f85e45","observation_id":"2a770bd6-2bdd-43d7-8593-436c57707829","resolution":{"observed_at":"2026-08-10T20:27:38.676859Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.658600Z","title":"Comprehension and quotient structures in the language of 2-categories","venue":null,"work_id":"74601997-b567-4425-be3c-2b33b925a728","year":2020},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.478866Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:cf5aa88c86fb23bd6ff3d0cf613206b352f9226e1a2c1328df4642bd87768cc0","observation_id":"21d230b3-32aa-4d33-9452-e98c0055a370","resolution":{"observed_at":"2026-08-10T20:27:38.662755Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1612.02762","last_updated":"2018-03-02T18:35:11Z","snapshot_observed_at":"2026-08-18T22:34:49.602127Z","submitted_at":"2016-12-08T18:35:34Z","title":"String Diagrams For Double Categories and Equipments","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1612.02762","snapshot_observed_at":"2026-08-10T20:27:37.483722Z","title":"String diagrams for double categories and equipments, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.483722Z"},"links":{"cited_paper":"/paper/1612.02762","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:719505580589dd1a22211ad08a3dcaab8b6e829f684080e714804f063d1b20d4","observation_id":"0ad39747-5066-4fec-ae4f-2562d3257c5c","resolution":{"observed_at":"2026-08-10T20:27:37.483722Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06792","last_updated":"2025-01-23T04:57:43Z","snapshot_observed_at":"2026-08-16T13:11:08.912305Z","submitted_at":"2024-10-09T11:41:34Z","title":"An Internal Logic of Virtual Double Categories","version":2},"cited_work":{"arxiv_id":"2410.06792","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.06792","snapshot_observed_at":"2026-08-10T20:27:37.867713Z","title":"An Internal Logic of Virtual Double Categories","venue":"math.CT","work_id":"8509e709-4f36-4766-a7e6-beb7365edbf6","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.489063Z"},"links":{"cited_paper":"/paper/2410.06792","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:380291d90999d5588a3c1c4d43c45b69ea9732eff17aeec2a42fbc56283f5421","observation_id":"c380ce5e-9d96-4a48-8144-45945667cf39","resolution":{"observed_at":"2026-08-10T20:27:37.872533Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.645583Z","title":"New and Daniel R","venue":null,"work_id":"2955bda6-7c9b-40db-ab43-a70d4331d21f","year":2023},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.493627Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:0929848c13b0d120cdb1c0aa2f5c5e68f5515cf4d899f6c831b323322bbfc445","observation_id":"7920a0db-38df-467e-9fdb-5a06e42b1c2c","resolution":{"observed_at":"2026-08-10T20:27:38.650219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.632736Z","title":"Towards a directed homotopy type theory","venue":null,"work_id":"b2f210a8-1a35-4e1b-a83f-60fb427c667a","year":2019},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.499311Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:720845dd81a4b10af805f01744e8d6e0ea433e5a781c7d07a7f0b7f2786b868e","observation_id":"a1d75bc1-b600-4b16-9601-382a799bdd07","resolution":{"observed_at":"2026-08-10T20:27:38.637679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.618911Z","title":"First order theories as double lawvere theories","venue":null,"work_id":"a228e13a-0380-49f8-8c9d-efa86014c249","year":2009},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.503717Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:f9e31af96a6ddcf784de0190ec1c488c5365b7a36ad49f6ecb88ecbfb11a57cb","observation_id":"a3d3c00e-282c-438a-a3cc-2854bb925265","resolution":{"observed_at":"2026-08-10T20:27:38.623524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.606169Z","title":"Morphisms of rings","venue":null,"work_id":"764b9558-2e7a-4d27-9474-450bbc0b1aba","year":2021},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.509865Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:b27ba92a74106a044ecf05e7737d444af2bea845e6f03278584a55cf7d411683","observation_id":"2d07d979-dc91-4214-8a7e-94315678428d","resolution":{"observed_at":"2026-08-10T20:27:38.610322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:37.513989Z","title":"Products in double categories, revisited, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.513989Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:50b7debc51c81c8bd7552c5350b318501a6268f83358c9dca0cf41938be3127e","observation_id":"ad4c9217-649b-46da-9d4a-30bab917b30c","resolution":{"observed_at":"2026-08-10T20:27:37.513989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08835","last_updated":"2026-04-03T18:41:16Z","snapshot_observed_at":"2026-07-06T17:59:38.202928Z","submitted_at":"2024-04-12T22:25:54Z","title":"Transposing cartesian and other structure in double categories","version":3},"cited_work":{"arxiv_id":"2404.08835","doi":null,"metadata_source":"pith","pith_arxiv_id":"2404.08835","snapshot_observed_at":"2026-08-10T20:27:37.779349Z","title":"Transposing cartesian and other structure in double categories","venue":"math.CT","work_id":"085596d4-d68e-4887-b0fb-117d38f120ac","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.518809Z"},"links":{"cited_paper":"/paper/2404.08835","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:3f667c2566999ed87805794380ad50cc546d558d743d1deb0df4a54ef0624726","observation_id":"acbb53c4-24cc-41cc-86f8-c3b762509368","resolution":{"observed_at":"2026-08-10T20:27:37.784398Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.592880Z","title":null,"venue":null,"work_id":"a489b400-a9bd-4410-9fb7-f9cb311d32a3","year":1995},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.523064Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:48c3b4cbda9aa84fab0f689dd4a25ac7b087c50ec26ac1c04eafd13c399fa01c","observation_id":"16bf1c1d-7125-45d2-b5b9-4295da7486b9","resolution":{"observed_at":"2026-08-10T20:27:38.597452Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.576500Z","title":null,"venue":null,"work_id":"9fe720e6-6cb6-4414-aa6b-78e999a0743d","year":1996},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.527046Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:0b4ba7e7147f5ee69f8dbd6caa1fee814dac3a975b00bab377fdc939e57f1fc2","observation_id":"e09232ae-d0e2-4f5f-bba3-754f6b1f4616","resolution":{"observed_at":"2026-08-10T20:27:38.581624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.562194Z","title":null,"venue":null,"work_id":"52f1ebd7-0adf-4e93-9bad-1f5a887dc5d1","year":2000},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.530931Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:d40bd4856356ce427bfc11f8ee5f4caddf75ab2003bc911c444399941e29fbe8","observation_id":"7d422763-a10f-40d2-9ba2-285d90dfcda3","resolution":{"observed_at":"2026-08-10T20:27:38.566723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.549054Z","title":"Palmgren and S","venue":null,"work_id":"3964912f-64c2-434a-8eff-a88fdd828ead","year":2007},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.534441Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:a7d96adb2564dbc883da8c2427ef596bae38374e5fe83abb7a82b11109a29a7a","observation_id":"cdffad47-5f32-4c66-b6a8-493d45dd7e52","resolution":{"observed_at":"2026-08-10T20:27:38.553648Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2308.03583","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:27:37.751613Z","title":"Formal category theory in -equipments i, 2024","venue":null,"work_id":"33251775-9474-47c3-9333-2c8196fe1274","year":2024},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.538947Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:52d341d3ca14a2f06b35c129b026c535da24ca80fa956ae162918916f21b173a","observation_id":"5518d301-af1a-4520-aa94-84acea21de6f","resolution":{"observed_at":"2026-08-10T20:27:37.763145Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.534093Z","title":"Kan extensions and the calculus of modules for --categories","venue":null,"work_id":"708cb976-aeb8-477c-bc17-8021654af7b2","year":2017},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.544319Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:97df64e2b99e9e9207274725b7eb90a6405cc1ca7528f73df92cedb39bc8fb82","observation_id":"24c7d2cf-da56-4066-af02-e789ab300e77","resolution":{"observed_at":"2026-08-10T20:27:38.539069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.518506Z","title":"Elements of - Category Theory","venue":null,"work_id":"a66f966e-8407-46e4-97fc-8e6b4106c5c4","year":2022},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":92,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.548977Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:0282048ba530d6cf93076de87e5418cf6ac56d85850873090c1ce65b3d2bfc97","observation_id":"399af00e-9b5b-4478-9bbf-2d2f6bdc0951","resolution":{"observed_at":"2026-08-10T20:27:38.524097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.502366Z","title":null,"venue":null,"work_id":"44b8ff27-0b9d-4d98-8f11-42f84cdfca9e","year":1983},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.553696Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:ffa403ecced57da3ab324fa11922fe917ed8e4660f9f648837fa827ba1be3337","observation_id":"df555adc-a239-48b7-9f56-d224ff1aa78e","resolution":{"observed_at":"2026-08-10T20:27:38.508350Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.487149Z","title":null,"venue":null,"work_id":"cc8fdac1-7ee5-4ae6-8f72-0bf249f1b4fa","year":1984},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.558441Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:c53ed6edd627c608abc34f37702b8b2d3ae78947c2d1c7a5cc4cae9f1810d95a","observation_id":"5f2baeaf-3bc6-4e98-a65a-cbc9f7d37f10","resolution":{"observed_at":"2026-08-10T20:27:38.492583Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.474152Z","title":"Selinger","venue":null,"work_id":"d6856e98-1ed0-468f-9f97-6f1c2b696a9a","year":2011},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.562963Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:667b96043833fa4d4c59037e7a73de5b4fcdfcc7dc9be96d82c455c06f9a5abe","observation_id":"8e5b7773-e6d0-467d-83d1-8849ec957b47","resolution":{"observed_at":"2026-08-10T20:27:38.479501Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.449797Z","title":"Framed bicategories and monoidal fibrations","venue":null,"work_id":"560654e6-18e8-4812-98e0-ddb52dcc297f","year":2008},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":96,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.567286Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:554bddad144950e9554a482da27a40998068b24a6b5ef076b39c61720db2c598","observation_id":"773cf4df-87c6-4e58-8263-3f287dcd26be","resolution":{"observed_at":"2026-08-10T20:27:38.454645Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.418553Z","title":"Compact closed bicategories","venue":null,"work_id":"c0a3421d-07e2-45cf-a6c4-c9db8807527d","year":2016},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.572275Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:44405025ebefdf5a5960811f119472c8f19011becf460bcaeae51f9c321d4c33","observation_id":"83526935-bf01-4449-9ea3-b6b0889449d7","resolution":{"observed_at":"2026-08-10T20:27:38.434750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-10T20:27:38.404757Z","title":"Streicher","venue":null,"work_id":"5bf4402d-dcf3-42ff-8201-b957e7be3d68","year":2014},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":98,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.577102Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:294b18007fab62e5bedb82bef4114c6e151fe81156971a63f8793944b3263d56","observation_id":"e9754022-f6db-4619-a565-8f0f8ffb8c60","resolution":{"observed_at":"2026-08-10T20:27:38.409011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1801.02927","last_updated":"2023-09-13T11:25:25Z","snapshot_observed_at":"2026-08-14T19:56:41.903001Z","submitted_at":"2018-01-09T13:31:03Z","title":"Fibered Categories a la Jean Benabou","version":20},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1801.02927","snapshot_observed_at":"2026-08-10T20:27:37.582868Z","title":"Fibered categories a la jean benabou, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":99,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.582868Z"},"links":{"cited_paper":"/paper/1801.02927","citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:fa3232d327c968fd7875eb906d4de55279f9d227c440206f06b307d84e3f44bc","observation_id":"241fab14-f8ed-4eb9-a07d-0448804282fe","resolution":{"observed_at":"2026-08-10T20:27:37.582868Z","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-10T20:27:38.352915Z","title":"La teoria delle relazioni nello studio di categorie regolari e di categorie esatte","venue":null,"work_id":"5b297832-1959-4665-8a5b-c4f8b604d570","year":1975},"citing_paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories","version":2},"reference_index":100,"source":"arxiv_source","source_observed_at":"2026-08-10T20:27:37.587656Z"},"links":{"citing_paper":"/paper/2501.17869"},"observation_digest":"sha256:d52b5dec59ac4d07b24912e67dc13bda6cdfde23c09c83983c49d3431792110d","observation_id":"5ab73f6c-c9ca-4a00-b7b4-78d43264c295","resolution":{"observed_at":"2026-08-10T20:27:38.365607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.17869","last_updated":"2025-01-31T08:17:26Z","latest_version":2,"primary_category":"math.CT","snapshot_observed_at":"2026-08-15T01:02:25.850604Z","submitted_at":"2025-01-15T08:42:56Z","title":"Logical Aspects of Virtual Double Categories"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":49,"verified_exact":8,"verified_fuzzy":43},"total_outbound_references":110},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 100 of 110 outbound references and 0 inbound Pith citation observations for arXiv:2501.17869."}