Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T20:27:37.587656Z
Paper Citation Record · LEDGER
Logical Aspects of Virtual Double Categories
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
100 of 110 outbound references displayed
- verified exact8
- verified fuzzy43
- unresolved49
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 7e75d8df-7c80-48e6-809f-36426417152a · outbound
This paper cites Cartesian Double Categories with an Emphasis on Characterizing Spans.
Logical Aspects of Virtual Double Categories Cartesian Double Categories with an Emphasis on Characterizing Spans
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.107987Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1a85d8b3-5f95-46ce-9193-426c19e66b6b · outbound
This paper cites The formal theory of relative monads.
Logical Aspects of Virtual Double Categories The formal theory of relative monads
Reference 2
- Resolution
- verified exact
- raw_fallback, observed 2026-08-10T20:27:38.169457Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5d6a4b17-add7-457d-8c91-57d6d55dfa67 · outbound
This paper cites The nerve theorem for relative monads.
Logical Aspects of Virtual Double Categories The nerve theorem for relative monads
Reference 3
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T20:27:38.085827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7c9e14c4-07a2-4a1f-b866-14b476f3d02a · outbound
This paper cites Bicategorical type theory: Semantics and syntax.
Logical Aspects of Virtual Double Categories Bicategorical type theory: Semantics and syntax
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.124904Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4e0d78c-bd42-4037-aa92-fb5841b16442 · outbound
This paper cites tangle, 2022.
Logical Aspects of Virtual Double Categories tangle, 2022
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.129624Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6fb37720-0d65-45dd-8517-aeb6a69ada20 · outbound
This paper cites Diagrammatic Algebra of First Order Logic.
Logical Aspects of Virtual Double Categories Diagrammatic Algebra of First Order Logic
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.134695Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82702859-e07d-46ae-b9ef-3a90fb0a9aec · outbound
This paper cites Exact categories.
Logical Aspects of Virtual Double Categories Exact categories
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.140855Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c22693a-ec4e-484a-af65-0d523134b3a1 · outbound
This paper cites Functorial Semantics for Relational Theories.
Logical Aspects of Virtual Double Categories Functorial Semantics for Relational Theories
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.145198Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5615a23-b2e5-4c85-8db0-4c330f1f4a4a · outbound
This paper cites On Doctrines and Cartesian Bicategories.
Logical Aspects of Virtual Double Categories On Doctrines and Cartesian Bicategories
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.150837Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b50db7bb-1093-4e5f-a146-580c51325a47 · outbound
This paper cites Introduction.
Logical Aspects of Virtual Double Categories Introduction
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.155662Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fe403f97-1aaf-4fd2-b85d-c2adb559ad95 · outbound
This paper cites T -cat\'egories (cat\'egories dans un triple).
Logical Aspects of Virtual Double Categories T -cat\'egories (cat\'egories dans un triple)
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.160182Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c2b861dc-4455-43f2-bb5b-d369cd6b29c7 · outbound
This paper cites Generalised algebraic theories and contextual categories.
Logical Aspects of Virtual Double Categories Generalised algebraic theories and contextual categories
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.164484Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c65e9a5-a5e8-46ef-84d5-8589ce4e6ae7 · outbound
This paper cites The Biequivalence of Locally Cartesian Closed Categories and Martin-L \"of Type Theories.
Logical Aspects of Virtual Double Categories The Biequivalence of Locally Cartesian Closed Categories and Martin-L \"of Type Theories
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.168317Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e3a2ca32-8e3a-419c-80fb-f5c2b3f42757 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.172781Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2a44539c-4e53-4b3a-bb23-1dec4684f5c7 · outbound
This paper cites Bicategories of spans and relations.
Logical Aspects of Virtual Double Categories Bicategories of spans and relations
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.176973Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9b8130e4-aef6-4338-a962-b342763d4307 · outbound
This paper cites Carboni, G.
Logical Aspects of Virtual Double Categories Carboni, G
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.181240Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b61a4cb6-9da1-429b-a09c-b8c9f0eefef9 · outbound
This paper cites Carboni, G.
Logical Aspects of Virtual Double Categories Carboni, G
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.185679Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6effc00b-6356-4132-bee3-df8d3d21a5c0 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.190518Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be46a8df-0b0b-479d-baf3-ca85c46ff032 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.196965Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d04e27ee-915e-4f60-b2ec-bde692846de3 · outbound
This paper cites Carboni and R.
Logical Aspects of Virtual Double Categories Carboni and R
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.202861Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 57756c2d-64a2-409c-b4e4-b00e1fa99daf · outbound
This paper cites Quotients and extensionality in relational doctrines.
Logical Aspects of Virtual Double Categories Quotients and extensionality in relational doctrines
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.206837Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b948e40-4b74-41e7-8223-c2c27f5236b7 · outbound
This paper cites Cauchy-completions and the rule of unique choice in relational doctrines.
Logical Aspects of Virtual Double Categories Cauchy-completions and the rule of unique choice in relational doctrines
Reference 22
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T20:27:38.033075Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 24d59615-cec4-429c-b711-b1b20fc28835 · outbound
This paper cites The Relational Quotient Completion.
Logical Aspects of Virtual Double Categories The Relational Quotient Completion
Reference 23
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T20:27:38.010206Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 9bbe261e-3de4-413c-b5ae-a8f8613c30d6 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.221008Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc898a7c-c6c9-4716-9d83-71ecd25cb602 · outbound
This paper cites Elementary fibrations of enriched groupoids.
Logical Aspects of Virtual Double Categories Elementary fibrations of enriched groupoids
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.225210Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a370581b-d462-4b63-aea8-1efbeb2b9b7f · outbound
This paper cites A characterisation of elementary fibrations.
Logical Aspects of Virtual Double Categories A characterisation of elementary fibrations
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.229816Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 50af2d14-ec55-467b-a2ca-8655c6dc4487 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.234977Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 621ccdcf-8235-437c-9c48-4038ff058c45 · outbound
This paper cites Freyd and Andre Scedrov.
Logical Aspects of Virtual Double Categories Freyd and Andre Scedrov
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.239540Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 203b4389-dc1b-448a-8b1f-6ba6a285d3e1 · outbound
This paper cites Enriched -categories via non-symmetric -operads.
Logical Aspects of Virtual Double Categories Enriched -categories via non-symmetric -operads
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.242862Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation db535124-0f7d-49da-8ba8-7d11882fa0dd · outbound
This paper cites Limits in double categories.
Logical Aspects of Virtual Double Categories Limits in double categories
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.246996Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 150e924f-79d8-441b-8474-1ebb799d1a67 · outbound
This paper cites Adjoint for double categories.
Logical Aspects of Virtual Double Categories Adjoint for double categories
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.251442Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation de31d887-a5f8-4dfc-94fb-8a68b5f5791d · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.256053Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 010373fe-44f9-44a0-988e-45ceb010a9cd · outbound
This paper cites Higher Dimensional Categories -- From Double to Multiple Categories.
Logical Aspects of Virtual Double Categories Higher Dimensional Categories -- From Double to Multiple Categories
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.260762Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed4b5d0b-fc66-403d-b858-fc8651c1bae7 · outbound
This paper cites Categories fibrees et descente.
Logical Aspects of Virtual Double Categories Categories fibrees et descente
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.265838Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c2898040-5cfd-423e-a28e-751fa254d9d6 · outbound
This paper cites Fibrations, Logical Predicates and Indeterminates.
Logical Aspects of Virtual Double Categories Fibrations, Logical Predicates and Indeterminates
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.271305Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 546a88ef-d126-46ea-b3ff-f0fb4a62a1f1 · outbound
This paper cites On fibred adjunctions and completeness for fibred categories.
Logical Aspects of Virtual Double Categories On fibred adjunctions and completeness for fibred categories
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.275975Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cf7641e8-4153-47a2-aecc-4bc10838f550 · outbound
This paper cites Some properties of Fib as a fibred 2 -category.
Logical Aspects of Virtual Double Categories Some properties of Fib as a fibred 2 -category
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.280701Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 843f89f4-9c33-46f8-906b-8cdca0658209 · outbound
This paper cites Representable multicategories.
Logical Aspects of Virtual Double Categories Representable multicategories
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.200585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation dc8a8935-ea17-426e-bfaa-59905257f3ae · outbound
This paper cites Factorization systems and fibrations: Toward a fibred birkhoff variety theorem.
Logical Aspects of Virtual Double Categories Factorization systems and fibrations: Toward a fibred birkhoff variety theorem
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.187963Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5e077d64-3e63-4d3c-905f-e32e74891d52 · outbound
This paper cites Double categories of relations relative to factorisation systems.
Logical Aspects of Virtual Double Categories Double categories of relations relative to factorisation systems
Reference 40
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T20:27:37.991937Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation cb1f31fb-8892-4645-8038-300aaf29d9e5 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:39.169693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8972028c-ab74-433c-853b-f1ac30579072 · outbound
This paper cites The groupoid interpretation of type theory.
Logical Aspects of Virtual Double Categories The groupoid interpretation of type theory
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.145775Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 0eb8bf2a-dba8-4013-b4a6-04cea79b2731 · outbound
This paper cites Categorical logic and type theory , volume 141 of Studies in Logic and the Foundations of Mathematics.
Logical Aspects of Virtual Double Categories Categorical logic and type theory , volume 141 of Studies in Logic and the Foundations of Mathematics
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.131911Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation faf0b1ed-3d17-4c2d-8869-093985973729 · outbound
This paper cites Johnstone.
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.119500Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 079a2531-b999-4e59-925a-e953939c53a3 · outbound
This paper cites Johnstone.
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.106554Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation aa38e875-b6d8-4745-93f8-0bf2ef7df3bd · outbound
This paper cites Johnstone and Robert Par\'e, editors.
Logical Aspects of Virtual Double Categories Johnstone and Robert Par\'e, editors
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.091136Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 9fc42f74-cb39-4630-9600-c775e3a1e2eb · outbound
This paper cites Categories of relations and functional relations.
Logical Aspects of Virtual Double Categories Categories of relations and functional relations
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.079761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ee7454c9-68e3-438c-b602-48a579ac37bb · outbound
This paper cites Relations in categories with pullbacks.
Logical Aspects of Virtual Double Categories Relations in categories with pullbacks
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.068267Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation f47f55d7-206b-4109-bf00-f9cee8e18114 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:39.054120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5f9628e0-ecd3-41fe-ab6b-320517d6568f · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:39.041325Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a2df7b73-3e31-4290-872d-2e26f2b93508 · outbound
This paper cites Relations in categories.
Logical Aspects of Virtual Double Categories Relations in categories
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.028421Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a88ea5e0-4811-4b44-b95f-00f317b186ff · outbound
This paper cites Augmented virtual double categories.
Logical Aspects of Virtual Double Categories Augmented virtual double categories
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.016561Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 40254d60-fba7-4562-94ea-71dd6d2cd161 · outbound
This paper cites Formal category theory in augmented virtual double categories.
Logical Aspects of Virtual Double Categories Formal category theory in augmented virtual double categories
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:39.004551Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 862e9527-eb98-4605-b27a-1ef803d0317b · outbound
This paper cites Kock and G.
Logical Aspects of Virtual Double Categories Kock and G
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.991359Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 4e65ee4a-808a-463c-bf50-9db25a649147 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:38.977750Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a297ade2-df9e-4b7f-a963-ddf59faaad3c · outbound
This paper cites Double Categories of Relations.
Logical Aspects of Virtual Double Categories Double Categories of Relations
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.958228Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 835a39ef-acec-49a6-b261-74641391f44a · outbound
This paper cites William Lawvere.
Logical Aspects of Virtual Double Categories William Lawvere
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.926891Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation f0fd1571-d10b-4a40-a77a-fb3b03fb7e8a · outbound
This paper cites William Lawvere.
Logical Aspects of Virtual Double Categories William Lawvere
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.915498Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 4ad964c9-d801-4c03-ba8d-36500506a49b · outbound
This paper cites William Lawvere.
Logical Aspects of Virtual Double Categories William Lawvere
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.902697Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7e3cab4d-d676-426b-9ef8-45015e31ee97 · outbound
This paper cites William Lawvere.
Logical Aspects of Virtual Double Categories William Lawvere
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.884334Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 02be3326-dd3a-4393-b02f-d04bda2794ae · outbound
This paper cites Fibrations of predicates and bicategories of relations.
Logical Aspects of Virtual Double Categories Fibrations of predicates and bicategories of relations
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.396427Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa0dac08-be54-4837-a39c-521b2b47f9cf · outbound
This paper cites Generalized enrichment of categories.
Logical Aspects of Virtual Double Categories Generalized enrichment of categories
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.865234Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8c3162d9-b77a-4f3c-ad29-746615910a11 · outbound
This paper cites Higher Operads, Higher Categories , volume 298 of London Mathematical Society Lecture Note Series.
Logical Aspects of Virtual Double Categories Higher Operads, Higher Categories , volume 298 of London Mathematical Society Lecture Note Series
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.854090Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 925898ac-8443-4a84-be29-ab9457099510 · outbound
This paper cites Licata and Robert Harper.
Logical Aspects of Virtual Double Categories Licata and Robert Harper
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.841657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5f3a9273-b372-4769-9a0c-50f34116bc64 · outbound
This paper cites FORMAL CATEGORY THEORY.
Logical Aspects of Virtual Double Categories FORMAL CATEGORY THEORY
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.827729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 43c8bf2a-5aa6-4927-aaa7-145d54f55bd1 · outbound
This paper cites Laretto, F.
Logical Aspects of Virtual Double Categories Laretto, F
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.422395Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 046cc836-f6f0-4d48-b71d-4272ec7ac8bc · outbound
This paper cites ( Co )End Calculus , volume 468 of London Mathematical Society Lecture Note Series.
Logical Aspects of Virtual Double Categories ( Co )End Calculus , volume 468 of London Mathematical Society Lecture Note Series
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.806261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 24c9518c-dd6d-4e9f-a9c6-ba1517891dc2 · outbound
This paper cites Categorical notions of fibration.
Logical Aspects of Virtual Double Categories Categorical notions of fibration
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.793022Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3b12e345-43fe-4734-962c-a2143223a4e8 · outbound
This paper cites Lambek and P.
Logical Aspects of Virtual Double Categories Lambek and P
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.776515Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 1a572ee3-15c7-4884-9e36-56fb0deb3ac4 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 70
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:38.762901Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 30c81902-113a-4408-bf4a-4a6c13f20734 · outbound
This paper cites Exact completions and toposes.
Logical Aspects of Virtual Double Categories Exact completions and toposes
Reference 71
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.748121Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation eaea0d88-516c-415b-8ba2-18a20c12d212 · outbound
This paper cites Relations in categories, 2000.
Logical Aspects of Virtual Double Categories Relations in categories, 2000
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.734762Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation f6552ce5-9484-4fcc-bdcf-42324d78caec · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:38.720743Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 2e0bc492-e6eb-47ae-92b4-e1c320a059ab · outbound
This paper cites Triposes, exact completions, and H ilbert's -operator.
Logical Aspects of Virtual Double Categories Triposes, exact completions, and H ilbert's -operator
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.706949Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 65c79f02-1b0b-400b-8e29-954a0766d72f · outbound
This paper cites Elementary quotient completion.
Logical Aspects of Virtual Double Categories Elementary quotient completion
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.690345Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 2a770bd6-2bdd-43d7-8593-436c57707829 · outbound
This paper cites Quotient completion for the foundation of constructive mathematics.
Logical Aspects of Virtual Double Categories Quotient completion for the foundation of constructive mathematics
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.676859Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 21d230b3-32aa-4d33-9452-e98c0055a370 · outbound
This paper cites Comprehension and quotient structures in the language of 2-categories.
Logical Aspects of Virtual Double Categories Comprehension and quotient structures in the language of 2-categories
Reference 77
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.662755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 0ad39747-5066-4fec-ae4f-2562d3257c5c · outbound
This paper cites String Diagrams For Double Categories and Equipments.
Logical Aspects of Virtual Double Categories String Diagrams For Double Categories and Equipments
Reference 78
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.483722Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c380ce5e-9d96-4a48-8144-45945667cf39 · outbound
This paper cites An Internal Logic of Virtual Double Categories.
Logical Aspects of Virtual Double Categories An Internal Logic of Virtual Double Categories
Reference 79
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T20:27:37.872533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7920a0db-38df-467e-9fdb-5a06e42b1c2c · outbound
This paper cites New and Daniel R.
Logical Aspects of Virtual Double Categories New and Daniel R
Reference 80
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.650219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a1d75bc1-b600-4b16-9601-382a799bdd07 · outbound
This paper cites Towards a directed homotopy type theory.
Logical Aspects of Virtual Double Categories Towards a directed homotopy type theory
Reference 81
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.637679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a3d3c00e-282c-438a-a3cc-2854bb925265 · outbound
This paper cites First order theories as double lawvere theories.
Logical Aspects of Virtual Double Categories First order theories as double lawvere theories
Reference 82
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.623524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 2d07d979-dc91-4214-8a7e-94315678428d · outbound
This paper cites Morphisms of rings.
Logical Aspects of Virtual Double Categories Morphisms of rings
Reference 83
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.610322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ad4c9217-649b-46da-9d4a-30bab917b30c · outbound
This paper cites Products in double categories, revisited, 2024.
Logical Aspects of Virtual Double Categories Products in double categories, revisited, 2024
Reference 84
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.513989Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation acbb53c4-24cc-41cc-86f8-c3b762509368 · outbound
This paper cites Transposing cartesian and other structure in double categories.
Logical Aspects of Virtual Double Categories Transposing cartesian and other structure in double categories
Reference 85
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T20:27:37.784398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 16bf1c1d-7125-45d2-b5b9-4295da7486b9 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 86
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:38.597452Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e09232ae-d0e2-4f5f-bba3-754f6b1f4616 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 87
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:38.581624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7d422763-a10f-40d2-9ba2-285d90dfcda3 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 88
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:38.566723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation cdffad47-5f32-4c66-b6a8-493d45dd7e52 · outbound
This paper cites Palmgren and S.
Logical Aspects of Virtual Double Categories Palmgren and S
Reference 89
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.553648Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5518d301-af1a-4520-aa94-84acea21de6f · outbound
This paper cites Formal category theory in -equipments i, 2024.
Logical Aspects of Virtual Double Categories Formal category theory in -equipments i, 2024
Reference 90
- Resolution
- verified exact
- raw_fallback, observed 2026-08-10T20:27:37.763145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 24c7d2cf-da56-4066-af02-e789ab300e77 · outbound
This paper cites Kan extensions and the calculus of modules for --categories.
Logical Aspects of Virtual Double Categories Kan extensions and the calculus of modules for --categories
Reference 91
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.539069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 399af00e-9b5b-4478-9bbf-2d2f6bdc0951 · outbound
This paper cites Elements of - Category Theory.
Logical Aspects of Virtual Double Categories Elements of - Category Theory
Reference 92
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.524097Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation df555adc-a239-48b7-9f56-d224ff1aa78e · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 93
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:38.508350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5f2baeaf-3bc6-4e98-a65a-cbc9f7d37f10 · outbound
This paper cites an unresolved cited work.
Logical Aspects of Virtual Double Categories Unresolved cited work
Reference 94
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:27:38.492583Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8e5b7773-e6d0-467d-83d1-8849ec957b47 · outbound
This paper cites Selinger.
Reference 95
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.479501Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 773cf4df-87c6-4e58-8263-3f287dcd26be · outbound
This paper cites Framed bicategories and monoidal fibrations.
Logical Aspects of Virtual Double Categories Framed bicategories and monoidal fibrations
Reference 96
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.454645Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 83526935-bf01-4449-9ea3-b6b0889449d7 · outbound
This paper cites Compact closed bicategories.
Logical Aspects of Virtual Double Categories Compact closed bicategories
Reference 97
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.434750Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e9754022-f6db-4619-a565-8f0f8ffb8c60 · outbound
This paper cites Streicher.
Reference 98
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.409011Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 241fab14-f8ed-4eb9-a07d-0448804282fe · outbound
This paper cites Fibered Categories a la Jean Benabou.
Logical Aspects of Virtual Double Categories Fibered Categories a la Jean Benabou
Reference 99
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:27:37.582868Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ab73f6c-c9ca-4a00-b7b4-78d43264c295 · outbound
This paper cites La teoria delle relazioni nello studio di categorie regolari e di categorie esatte.
Logical Aspects of Virtual Double Categories La teoria delle relazioni nello studio di categorie regolari e di categorie esatte
Reference 100
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:27:38.365607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Pith citing papers
No inbound Pith citation observations are available.