Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T22:42:54.483452Z
Paper Citation Record · LEDGER
Double-functorial representation of regular hyperdoctrines
As of 20 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2508.06637.
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
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
20 of 20 outbound references displayed
- verified exact1
- verified fuzzy14
- unresolved5
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 95602a2b-43ea-4799-a4cb-43d4d914083a · outbound
This paper cites Propositional logics for the L awvere quantale.
Double-functorial representation of regular hyperdoctrines Propositional logics for the L awvere quantale
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.824790Z
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 913fe408-db01-4cba-99b0-07748dc1e093 · outbound
This paper cites Spectral M ackey functors and equivariant algebraic K -theory ( I ).
Double-functorial representation of regular hyperdoctrines Spectral M ackey functors and equivariant algebraic K -theory ( I )
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.810307Z
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 b752542f-425c-4a38-8d95-8a2044aa3dd6 · outbound
This paper cites Adjoining adjoints.
Double-functorial representation of regular hyperdoctrines Adjoining adjoints
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.795985Z
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 4d85a0c4-9eb6-41de-9edc-855431871dff · outbound
This paper cites Universal properties of span.
Double-functorial representation of regular hyperdoctrines Universal properties of span
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.782448Z
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 49db4a18-f71f-4bba-a769-71a16613f831 · outbound
This paper cites The span construction.
Double-functorial representation of regular hyperdoctrines The span construction
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.767676Z
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 26bdb906-6f08-4f72-88e2-dbff0c7f456e · outbound
This paper cites Graphical Regular Logic.
Double-functorial representation of regular hyperdoctrines Graphical Regular Logic
Reference 6
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T22:42:54.577212Z
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 b62825c6-a727-4ef1-8846-db38328740e1 · outbound
This paper cites an unresolved cited work.
Double-functorial representation of regular hyperdoctrines Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T22:42:54.753045Z
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 de8dcc61-65be-4a34-8f7f-99c5689ffb97 · outbound
This paper cites Limits in double categories.
Double-functorial representation of regular hyperdoctrines Limits in double categories
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.738249Z
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 698487f9-16ef-4185-8aee-375b5c6ac49d · outbound
This paper cites Higher Dimensional Categories: From Double to Multiple Categories.
Double-functorial representation of regular hyperdoctrines Higher Dimensional Categories: From Double to Multiple Categories
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.723757Z
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 994d754d-b58d-4fd6-a695-6a925a59c450 · outbound
This paper cites Two-variable fibrations, factorisation systems and categories of spans.
Double-functorial representation of regular hyperdoctrines Two-variable fibrations, factorisation systems and categories of spans
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.709705Z
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 507ccb8f-2476-4f25-a468-8eca214a65b3 · outbound
This paper cites Representable multicategories.
Double-functorial representation of regular hyperdoctrines Representable multicategories
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.694995Z
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 ac3bc372-ded7-4fdf-917a-52744eb3e332 · outbound
This paper cites Cartesian double theories: A double-categorical framework for categorical doctrines.
Double-functorial representation of regular hyperdoctrines Cartesian double theories: A double-categorical framework for categorical doctrines
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.679819Z
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 58cd532b-700e-418d-b590-e0dae1fc04a1 · outbound
This paper cites William Lawvere.
Double-functorial representation of regular hyperdoctrines William Lawvere
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.661861Z
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 4d6d1ecc-e3f7-4c5e-baa9-bbfc8f728bc1 · outbound
This paper cites Towards a double operadic theory of systems.
Double-functorial representation of regular hyperdoctrines Towards a double operadic theory of systems
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T22:42:54.457955Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f21d2045-4ed5-40a7-b355-843de66d2639 · outbound
This paper cites Monoidal G rothendieck C onstruction.
Double-functorial representation of regular hyperdoctrines Monoidal G rothendieck C onstruction
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.642815Z
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 1f8a06c5-3cad-4a58-a2ed-f79cb7670737 · outbound
This paper cites Retrocells.
Double-functorial representation of regular hyperdoctrines Retrocells
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.626107Z
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 aeb99dea-9334-49e2-8242-adab0ec6e153 · outbound
This paper cites an unresolved cited work.
Double-functorial representation of regular hyperdoctrines Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T22:42:54.610647Z
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 588a306c-8c1f-4b82-9c0c-4c7b3086b4a0 · outbound
This paper cites Comparing composites of left and right derived functors.
Double-functorial representation of regular hyperdoctrines Comparing composites of left and right derived functors
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T22:42:54.594614Z
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 d50ab691-68f3-4d6e-8b5c-ccdc6918c427 · outbound
This paper cites The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits.
Double-functorial representation of regular hyperdoctrines The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T22:42:54.479152Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 40d1399e-05de-48c8-81f7-abdeaa00b430 · outbound
This paper cites Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$.
Double-functorial representation of regular hyperdoctrines Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T22:42:54.483452Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.