Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T11:05:39.585315Z
Paper Citation Record · LEDGER
Logic and Concepts in the 2-category of Topoi
As of 20 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 2 inbound Pith citation observations for arXiv:2504.16690.
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-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-05T21:03:18.639191Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-22T02:25:56.274863Z
Reference resolution
43 of 43 outbound references displayed
- verified exact3
- verified fuzzy33
- unresolved7
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 63ff8e63-882b-4cf6-bc33-13de4df1e647 · outbound
This paper cites A classification of accessible categories.
Logic and Concepts in the 2-category of Topoi A classification of accessible categories
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.525257Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c08241c7-d41d-413e-bcdd-748691a94e5d · outbound
This paper cites Theorie de Topos et Cohomologie Etale des Schemas I , II , III , volume 269, 270, 305 of Lecture Notes in Mathematics.
Logic and Concepts in the 2-category of Topoi Theorie de Topos et Cohomologie Etale des Schemas I , II , III , volume 269, 270, 305 of Lecture Notes in Mathematics
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:05:39.332362Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a70fe7ff-0e90-4f12-b56e-3bf01b515874 · outbound
This paper cites Topo-logie.
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.496301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c45989ff-562c-4fc5-ac1a-cb92a5021906 · outbound
This paper cites Bicategories of algebras for relative pseudomonads.
Logic and Concepts in the 2-category of Topoi Bicategories of algebras for relative pseudomonads
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:05:39.343348Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bb61abd0-329e-41f6-9bf3-31cb3f271e32 · outbound
This paper cites Kan injectivity in order-enriched categories.
Logic and Concepts in the 2-category of Topoi Kan injectivity in order-enriched categories
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.480931Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3f984e56-de91-458a-8a43-9c9c02df7bb2 · outbound
This paper cites On a bicomma object condition for kz-doctrines.
Logic and Concepts in the 2-category of Topoi On a bicomma object condition for kz-doctrines
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.463996Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 81762b8d-e183-4ce9-a3a5-eab68a9bc4a7 · outbound
This paper cites Model-theoretic logics , volume 8.
Logic and Concepts in the 2-category of Topoi Model-theoretic logics , volume 8
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.447188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 51ca4478-bcd1-4402-b1a8-2f8b52baa2c9 · outbound
This paper cites Flabby and injective objects in toposes.
Logic and Concepts in the 2-category of Topoi Flabby and injective objects in toposes
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:05:39.366764Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb3e6dc8-d90d-4113-aa84-15c666279e89 · outbound
This paper cites Algebraizable logics.
Logic and Concepts in the 2-category of Topoi Algebraizable logics
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.429995Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 36e2f32c-9ada-4f23-b372-9608581842bd · outbound
This paper cites Theories, sites, toposes: relating and studying mathematical theories through topos-theoretic'bridges'.
Logic and Concepts in the 2-category of Topoi Theories, sites, toposes: relating and studying mathematical theories through topos-theoretic'bridges'
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.411700Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ad7c61eb-5950-4732-9134-a422df2e3bf4 · outbound
This paper cites Three uses of the herbrand-gentzen theorem in relating model theory and proof theory.
Logic and Concepts in the 2-category of Topoi Three uses of the herbrand-gentzen theorem in relating model theory and proof theory
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.392687Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation cac66d52-ded1-43e0-86a2-d33627f76ebf · outbound
This paper cites The geometry of coherent topoi and ultrastructures, 2022.
Logic and Concepts in the 2-category of Topoi The geometry of coherent topoi and ultrastructures, 2022
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.376094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1c8e925e-4a3d-43f3-b3f8-e13c31f2ecb8 · outbound
This paper cites Institution-independent model theory.
Logic and Concepts in the 2-category of Topoi Institution-independent model theory
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.358014Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 62917c47-8904-4a7a-a96f-64af3df4519d · outbound
This paper cites Formal model theory and higher topology.
Logic and Concepts in the 2-category of Topoi Formal model theory and higher topology
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.340687Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2066005d-591c-4613-ae45-9924c52ec1f9 · outbound
This paper cites Sketches and Classifying Logoi.
Logic and Concepts in the 2-category of Topoi Sketches and Classifying Logoi
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T11:05:39.802043Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 829b97da-4e2c-4b10-9ed1-339876df13f3 · outbound
This paper cites Kz-monads and kan injectivity.
Logic and Concepts in the 2-category of Topoi Kz-monads and kan injectivity
Reference 16
- Resolution
- verified exact
- raw_fallback, observed 2026-08-16T11:05:39.777763Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0c6f250b-29cb-4750-9733-d58f460d9a81 · outbound
This paper cites Bi-accessible and bipresentable 2-categories.
Logic and Concepts in the 2-category of Topoi Bi-accessible and bipresentable 2-categories
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.323555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a2246aac-fb0d-4c51-b33a-60584c1f4211 · outbound
This paper cites Relative pseudomonads, kleisli bicategories, and substitution monoidal structures.
Logic and Concepts in the 2-category of Topoi Relative pseudomonads, kleisli bicategories, and substitution monoidal structures
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.304143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 13e269a5-2668-468a-b800-c23cc029a391 · outbound
This paper cites Lex colimits.
Logic and Concepts in the 2-category of Topoi Lex colimits
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.287244Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5b0a8c52-eada-45d5-a29c-a67f9b96d058 · outbound
This paper cites Topos annel \'e s et sch \'e mas relatifs.
Logic and Concepts in the 2-category of Topoi Topos annel \'e s et sch \'e mas relatifs
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.271872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 80829efb-efe0-4bbc-b50a-c63daa5a1559 · outbound
This paper cites Toposes with only preorders of points.
Logic and Concepts in the 2-category of Topoi Toposes with only preorders of points
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.250872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e7555af3-6534-4597-8dfe-c34e6595cc1a · outbound
This paper cites Definability and interpolation: model-theoretic investigations.
Logic and Concepts in the 2-category of Topoi Definability and interpolation: model-theoretic investigations
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.230516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 32a9f850-a144-484b-ae30-c0150166f4c9 · outbound
This paper cites Limits in free coproduct completions.
Logic and Concepts in the 2-category of Topoi Limits in free coproduct completions
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.211762Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c754ad1a-a755-4b2b-9d01-d5902798b255 · outbound
This paper cites Local maps of toposes.
Logic and Concepts in the 2-category of Topoi Local maps of toposes
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.191197Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ec6c51c6-b6c0-476b-9b7f-e6a6bfedcf9b · outbound
This paper cites an unresolved cited work.
Logic and Concepts in the 2-category of Topoi Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T11:05:40.169386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5cef9c2b-e20b-435c-b12e-d75a525aed82 · outbound
This paper cites Factorization theorems for geometric morphisms, i.
Logic and Concepts in the 2-category of Topoi Factorization theorems for geometric morphisms, i
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.147872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 77f34b7a-bb37-491f-bd10-3aee067980cb · outbound
This paper cites Injective toposes.
Logic and Concepts in the 2-category of Topoi Injective toposes
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.127672Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 092feddd-1b4a-41c1-bc66-c2478a37015c · outbound
This paper cites Johnstone.
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.107135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2e226640-c784-436e-83ea-9f6f62c27ea2 · outbound
This paper cites Johnstone.
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.085991Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 95b4fbac-f056-4247-8308-700743a50595 · outbound
This paper cites Formal category theory in augmented virtual double categories.
Logic and Concepts in the 2-category of Topoi Formal category theory in augmented virtual double categories
Reference 30
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T11:05:39.637307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 35aa592b-0098-4e8c-8de9-2060bd19a577 · outbound
This paper cites an unresolved cited work.
Logic and Concepts in the 2-category of Topoi Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T11:05:40.062081Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ed489ea9-c04c-4913-bac1-2f76cdbc064c · outbound
This paper cites an unresolved cited work.
Logic and Concepts in the 2-category of Topoi Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T11:05:40.041065Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6120fb02-76d2-432b-a0b9-ae80e338ca0f · outbound
This paper cites Stone duality for first order logic.
Logic and Concepts in the 2-category of Topoi Stone duality for first order logic
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.021781Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 96dc3e01-fccc-4c63-8e2e-193e28ce849f · outbound
This paper cites Strong conceptual completeness for first-order logic.
Logic and Concepts in the 2-category of Topoi Strong conceptual completeness for first-order logic
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:40.002765Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fe4a000e-53c3-4817-a2a1-7647fa370fc2 · outbound
This paper cites Categories for the working mathematician , volume 5.
Logic and Concepts in the 2-category of Topoi Categories for the working mathematician , volume 5
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:05:39.532627Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c3ff31b-f89f-4a78-91d5-d6ce745a75b6 · outbound
This paper cites Locale morphisms with exact direct image functor in sheaves.
Logic and Concepts in the 2-category of Topoi Locale morphisms with exact direct image functor in sheaves
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:39.974807Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation af795780-35ec-4f49-b086-a7a27d695d92 · outbound
This paper cites On a generalization of quantifiers.
Logic and Concepts in the 2-category of Topoi On a generalization of quantifiers
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:39.957729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f6826529-f6a2-457f-91db-a504599a58ad · outbound
This paper cites Proper maps of toposes , volume 705.
Logic and Concepts in the 2-category of Topoi Proper maps of toposes , volume 705
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:39.940503Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8844ef24-bad8-405b-9947-78523c4fe678 · outbound
This paper cites Fibrations and yoneda's lemma in a 2-category.
Logic and Concepts in the 2-category of Topoi Fibrations and yoneda's lemma in a 2-category
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:39.923347Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation eac2a893-9e9e-4280-82bc-0e3615d41810 · outbound
This paper cites Distributive laws via admissibility.
Logic and Concepts in the 2-category of Topoi Distributive laws via admissibility
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:39.907303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fe095844-4e56-4bb2-a619-aef6c483d829 · outbound
This paper cites Abstract pro arrows i.
Logic and Concepts in the 2-category of Topoi Abstract pro arrows i
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:39.892070Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5ca1aa4e-7ae9-4707-a944-9efc2a0b3571 · outbound
This paper cites Proarrows ii.
Logic and Concepts in the 2-category of Topoi Proarrows ii
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:39.875030Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6e6d7583-18ac-4c62-aabd-037b81f80399 · outbound
This paper cites Doctrines on 2-categories.
Logic and Concepts in the 2-category of Topoi Doctrines on 2-categories
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:05:39.856489Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Pith citing papers
Observation 4ef63867-485d-48d4-b42b-6d55935df1ee · inbound
A Lightweight Learned Cardinality Estimation Model cites this paper.
A Lightweight Learned Cardinality Estimation Model Logic and Concepts in the 2-category of Topoi
Reference 2025
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:03:18.639191Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81ae0ae1-29a4-4fff-8857-cd0a759fe644 · inbound
Duality theory for categorical theories cites this paper.
Duality theory for categorical theories Logic and Concepts in the 2-category of Topoi
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-05-22T02:25:56.277384Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.