{"as_of":"2026-08-11T20:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:20e7fff48a08d80506a5f9bb59a8d75e0eb26253cbd60fab4b95f287890e368d","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-11T06:34:44.6726+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-03T14:16:28.310415Z","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-11T03:38:30.736749Z","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:5c050fa0709d996ca468b1c91b3507bc6f072d8708bdbddd5d65e84da4db3cd7","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-11T03:38:30.736749Z","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:883a2bd6118833ad6a1dad886c0d1afebc18fd4b319ad08269e92a456a663295","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.01281","last_updated":"2024-10-17T08:27:52Z","snapshot_observed_at":"2026-08-11T06:59:45.507885Z","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-11T03:38:30.736749Z","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:5cfcbb4b1c37b69fabe5e818f94d5eddbd0afd334be4e8e4cab47854ace81040","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:7f4ee44bef74a767eb8d73024cd04c4ac85b798486402acda62f2e5d37849520","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-11T03:38:30.736749Z","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:102df9f08033f8bfc0d189e1150b5e2ad73c3e7b3193a9ee782e1097b4c9e318","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-10T07:43:06.627916Z","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-11T03:38:30.736749Z","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:9f110764d901cd4344218b22bd24e01512356a85250dbc588f5b28a5ea3da47f","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-11T03:38:30.736749Z","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:3ad600a30967530117533a9605b686e08ee3b55006ef92bd302ced30dbbe297f","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-09T02:47:00.198728Z","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-11T03:38:30.736749Z","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:951664e017c581e7d521e0d305d98ec2da611e3d558dc8cd614d2efe183f18f3","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-11T03:38:30.736749Z","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:66a66547134aeb85ea52f305a9fb8fd76c0bdc3f94daa07016ff0c127c480f4e","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-11T03:38:30.736749Z","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:167f4aa556d3b357186fc000625f081a3efd77694ece35d8be291166ddb26a7f","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-11T03:38:30.736749Z","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:8797a3f07c33efcc08bca93c563a6256809d35ddb7dd83346fde864b4d41b491","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-11T03:38:30.736749Z","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:652356949c580be4db4a42076723f0b55be29d6ed1349d4bf7269fbe2ae72711","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-11T03:38:30.736749Z","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:7136d2378b30e568b0a8ce716b5fad271378a2c8dfdb265add5ca40fa06bb7ed","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-11T03:38:30.736749Z","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:21eb3e137c2821cfb485f7ab1d307dafc7276de776b09ef2ae1b0ccc8e4c5232","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-11T03:38:30.736749Z","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:c40ed5ee0d163a8e256c014e8368adcf1bf679ccfd74618b990ab06b9a682a0f","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-11T03:38:30.736749Z","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:89e0d20982c4178b87e79ae5e1974fb7d649fc456ca10b96b0a6b0735e19b10e","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-11T03:38:30.736749Z","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:a9c3d0b04064aa6ce9bdb2ce573ff69485967451a43ce0a4a2f9a35622887b90","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-11T03:38:30.736749Z","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:14c5bf08fbc7afb5956dc6e519fe942156c199788f5e8fbe13050a71acb3e1a1","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-11T03:38:30.736749Z","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:2d6292b7e8976a9b5e267506edb6ab9705d72650c980d96efd8fc48daf39cd59","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-11T03:38:30.736749Z","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:86bfd33e802e7e1b7103aad534b3264fea2dedc9f774ed1284adce7655130fbe","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-11T03:38:30.736749Z","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:f6ad201096952b950000ab48347770e541d2d0943f060a742bd01bc3f9960b4a","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-07-06T17:37:30.124979Z","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-11T03:38:30.736749Z","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:864f7f0f265074d7357b2a3aa82b9369cc638d154d5e43f29f914b8213a0f5dc","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.11295","last_updated":"2024-12-15T20:05:47Z","snapshot_observed_at":"2026-08-11T15:03:10.749300Z","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-11T03:38:30.736749Z","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:b54410465362e45ec41a1637f61111f8335ff117abc51804b054f525576d4f0c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:f413b4696bee268c351bb634ae31d6850cf52b6848b08ca895663972b61cb10c","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-11T03:38:30.736749Z","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:032f17b6cca28886332e08a3fddc3f4c2a41e59a684919b5a192dc5d970a1e46","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-11T03:38:30.736749Z","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:8366e9ccb09100ba429fcb83a74acbf5842a097c625c2dd27a8305e2b0f63cab","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-11T03:38:30.736749Z","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:63424cb784f69431306d5412f4d20f5d8770f52f0f37453ab8c882c6e6b5fa0d","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-11T03:38:30.736749Z","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:f2a7e3a45ab144a159223a7575de5299ea880fb108db2f488def4c5e7ad77d9e","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-11T03:38:30.736749Z","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:af2dbd4cb164c663d6442c84468d955364f06bf3bc078fcf91c70e53aca13cba","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-11T03:38:30.736749Z","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:bb7d4664dd112e576a5d3bfecd56201e249816388cd7a60ae8caac31b7bbb98f","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-11T03:38:30.736749Z","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:f727ad3f210f646e4a8187d5109877fced88954aa3102da45a6658af7598222b","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-11T03:38:30.736749Z","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:7b2240d59ea892722844327c1891dfd343c9c5c617b5f076be32e3efcd5fae7e","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-11T03:38:30.736749Z","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:4a8df358db9b8dc3f78267630a03d8184b85dd0a86f1641948e74c49d39f51d6","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-11T03:38:30.736749Z","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:6d10d066b8eb17f5c574620248505b2378f6dbc055fddc06a9715d91acbabe4c","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-11T03:38:30.736749Z","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:6a108468cafb08f9712efb022d32b0cdc1fd6f9986dcb015a54d2a8a0e63edf3","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-11T03:38:30.736749Z","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:6f9fcaf2c47b3a794580f0ea6df1c38e32bb5bd5dc113713bb58969d8c2128bb","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-11T03:38:30.736749Z","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:47a373501009eab5b1ed58e3bd1faa03e5d287cd09bdea36ba4fcf417e76fe40","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-11T03:38:30.736749Z","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:9ffc92859e12903ebcea8d0c98dbad5b5692b8fe330318e6849fea4b010a1367","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:fc2d7d3399c9b9d31fe4741503b37478a675d7a05f585d91bad819c65d0fe39f","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.19428","last_updated":"2025-01-23T01:51:36Z","snapshot_observed_at":"2026-07-06T16:40:24.456170Z","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-11T03:38:30.736749Z","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:d698284177a2add0384c9680d99a6e92a630286acd37c1c81e27c4252f634ea3","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:ec70433ee0e815f93f88a95bcd1f16b0ceaa1f743b12861d6c5ad6bfb7b36399","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:97e643ca2a44ae307c3a97b8ce2682ade2ebb0502841c67b60728011a8115c62","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:c6e6e9e6dc96fd76cffc157e58fe040bc0676c3ac4b5c9843f490603ad5c84f9","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:2684fe59559e9abe820c98fec90daf2021d360fc416b5b36e92286d31bd2e651","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:621b1a3509594febd7ff3979f442e4f072dba9f8bf36b9cf18db8610d9dd523a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:2e6cd57053471ee011090c51ad13ac07d023fb2c625e3031648d5edf559dd068","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:21b434f579ee396ef264f3d169a7e60134d230894ac69ca8b6455413e6a4f132","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:f805811c7e0425a69afc27812720005857c8c8e671f2dacdce4b21e1cf5afb28","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:a5ee6d21dd8c8f52efe3f657d0f695ccc23184495aed9f72bd7ba26117c31440","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:a010ab1e8e8c279df458df399237ac6d082f8f48ee117e6171217ffcaad6af12","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:0d251ff100b2ed67ac4ddabfd143363a09d1a1429854dbf09ee2db3edfa326c8","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:e7c61fae471fca271ddf390bdf1b12b084a686c98e4aef8835547c9d6666fc63","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:4e88f55fd5bb43dd7c65c705700b1a9edd80f70d0e724215ca6786b05ff4c0bd","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:ff2accb95210fcbdad6dfb79ab98d1a1642b574c666e06fcd9f1cc2fc4b92224","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:1771ea318b276a34a27d13358ed4d55928c4625364715e115e6b021a060ddda8","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:436cf732f09558ae329c1962f41764ca92d66908c336caed076a79a97d4aa753","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:587dcb669122733a44338a10d711e088f1e49158ebd3f739b6b65dd5b1be8bf3","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:1164cf6a7026ab2d1b61a59c7a9a3e44d28c7eee89d69c0573eb640a0609df9c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:f62af919ae59bc24d26610c114b7b39f06c2fe909498c77652c58bcdef24fbed","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:6f13e8cf35ae50f6466d759394c67e6778680b9e0bd4437e624da72c7973e82d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1502.08017","last_updated":"2015-02-27T19:07:02Z","snapshot_observed_at":"2026-07-06T04:10:30.439601Z","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-11T03:38:30.736749Z","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:d54218eb61675eb32ee59bb202cd0a5b40657e0c81978d62d742a983e2b09380","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-11T03:38:30.736749Z","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:5ef1243fb404b3c5970fccbe296de160329b05a9d8683042c3c74ad7d44fa273","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:7f72811b3356aff66ba4b524ef486f0c5932af8bb1cfbbed78aff9eb44e81eef","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:1cd08074b27aef2582df902a02f267bbf33ab556f1a8e5ca00edc6289afe3e02","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:8a9b03386e0a242b4d8c0ff863d5479991817049252e2f2332b665c294478405","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:8d9bd2074db11038fafb568c7f14a663b02558fc1c118575c6b80e86d5bb0c64","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-11T03:38:30.736749Z","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:f520aa83ede2e38df796347fbc0d3d180a9d2f4b20df4d22db1ae6a1e3dda01a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:16a4ae99fd964d804fda4c94cb49f6158175e24ff92289853206f637f4945aff","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:3f2e17e80c67350cb63070855935f3b1384ce62e242d0b44e56d2ca459bea997","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:0479b6f4b94f91a88602c96ee4eb3f7279645a605a01bdf5cb839071a01ea021","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:1a2fb4a50306f7dc114f009c103b91615e01da54940efb50fb4ba88c5f926e9c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:c7e26212df54ca92304d43fbf9f915ef19e4e631d63fa067a47920d838230100","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:77fe360d7a784dbe18f1027c03e674350fae1a54e7aebf6a24ad496d313cb644","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:8f2849ecd4f0f795db96f0e7b08dbae4954537c1ee515b8e08b65ff9d6c02b75","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:9ad2fe85bb3cbc2ed6ed3cdf7ea8fd0b86c090247a424fb54ee7f2866d5474fb","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:8a5352ccceba813c7d589263a0bdc039e935f1b044cb40c89827a8ec2edc80c2","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:d6dbdcadacfb8f8bd9391407310429cee7934ffbcd615796fe01c659c9f8374e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1612.02762","last_updated":"2018-03-02T18:35:11Z","snapshot_observed_at":"2026-07-06T05:21:58.143999Z","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-11T03:38:30.736749Z","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:396f71b246f5cab989a993da451f73716a0f92a9b13b145970e09070ffd14616","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-04T21:07:13.450713Z","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-11T03:38:30.736749Z","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:a62f6be49147ee2f59f2cbd6ab09cf2e8b1ca91dd10bf3f47f303b8c8368a99d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:859477095ec9577c98856b681a676af62a31a07f86da18202b48931fe879c4c4","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:ba622ec2ba6fb8826134cdeebd5c94a5921c524cd98711e6f0e2dc9a41e248d6","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:6ed4437b1d1f58e2dec5f0603ff40260da6880dbc64307f609b8c80820c071ef","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:7c66078afc192fb9c4371d52adf6bbe1014db4e9489f2b53bf99287d3a3aa48d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:4ccea9bcfc2ad8f9276708e2abd3b22d9303ff3ec8638da0ebafc2a346e1d85a","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-11T03:38:30.736749Z","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:8d16c672e4096f8ecddbdc45989412a8a8845a0e095bd12bcd6041bbbbd4157d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:7cca2687e8d935cabd7370eae2966d015b1ddc853a7b15de4f9762b86a1d1681","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:f46f616d64abacedf021f3676033bf4b91bf14153689afd1b8fdb820e65ed40b","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:fe13aa1c3e4016564fa554068c6fc30bc49abae0a8b3c3cf8be898b8087f8a31","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:a253b7ec1097cd785047720f72fb0f739229bdefd48d77114b3e675523604fb5","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:28dea4cf194371bf1d4af7b20fb3c5d02cfdc4346a0f0a52ab5dff01f73a277b","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:7b98df6624707e0f32eae30f36b7dbd9167668ea44e1894608214ea937a20307","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:69b60b62c7ed11b03693dc56283c4e353153a9154b2518f081dbff07d39ddc3a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:bf92c6b6f1a32a4bf6957f5a83a1b2991eaf2e1bc691fef360353266349f99ee","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:a8a03fa35adeb5a9e06cf9fefafed6ec1fe74ebed8899a45c5ca62fb0ddd6191","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:30a8cdf6347c2afb316dc58b83e681d1d14d9a6e52160b399310dedd5d459265","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:513dcfa6aeddfb059fe18ec2b952d98a86e899f9591766477fa6d606ad4d0571","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:053c549f3a5cf63afd7ee66f92fad0ad19092c48101413730142176c224b26f0","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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:0d28cdafe7d7f7431f88953e08cad57e63a1d587f8aeb4d6486ac5fecb6809d1","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1801.02927","last_updated":"2023-09-13T11:25:25Z","snapshot_observed_at":"2026-08-04T10:08:03.581905Z","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-11T03:38:30.736749Z","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:cf0f428922344f826389508d7bfd55d917cbac98a9901f42c731d79565fe2807","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-11T03:38:30.736749Z","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:96c4d650432f9a4ca950db92f40e04042c1ea1513fee4bb33816679bb0dbf45e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"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-11T03:38:30.736749Z","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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 100 of 110 outbound references and 0 inbound Pith citation observations for arXiv:2501.17869."}