Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:58:29.527307Z
Paper Citation Record · LEDGER
Methods of constructive category theory
As of 16 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:1908.04132.
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-16T06:30:59.297886+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
24 of 24 outbound references displayed
- verified exact1
- verified fuzzy9
- unresolved14
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 2b901576-9d53-4468-bf86-be5c1bb3779f · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:58:30.290428Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9f9ff867-7a56-4a42-bf2f-769a60ce2a54 · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:58:30.274698Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5b787ba7-eb68-4b22-ad31-e6d0d83c8f50 · outbound
This paper cites 2 (2000), 147--185.
Methods of constructive category theory 2 (2000), 147--185
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:58:29.259204Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3da4aeb8-e92e-4961-b84d-91d654b5fb88 · outbound
This paper cites An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization.
Methods of constructive category theory An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization
Reference 4
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T13:58:29.585952Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation be22b07e-4cf0-4ef8-a346-d6f32a5942f1 · outbound
This paper cites 96, Springer-Verlag, Berlin-New York, 1969.
Methods of constructive category theory 96, Springer-Verlag, Berlin-New York, 1969
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:30.249624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 40a4af0e-01bb-4e6f-8d59-4fdc4ae6fd0a · outbound
This paper cites Symbolic Comput.
Methods of constructive category theory Symbolic Comput
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:30.235366Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 59b135f8-f6ca-4c52-969f-2545f9311adb · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:58:30.220590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fb0ee27a-7b16-48d0-945f-932f8e615150 · outbound
This paper cites Collins, A simple presentation of a group with unsolvable word problem, Illinois J.
Methods of constructive category theory Collins, A simple presentation of a group with unsolvable word problem, Illinois J
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:30.193309Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 63c21543-ea23-4959-9429-445471ed8b70 · outbound
This paper cites A n introduction to the theory of functors , Harper's Series in Modern Mathematics, Harper & Row Publishers, New York, 1964.
Methods of constructive category theory A n introduction to the theory of functors , Harper's Series in Modern Mathematics, Harper & Row Publishers, New York, 1964
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:30.160526Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5fe1f073-0019-4011-8b13-461843402de7 · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:58:29.295180Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff148497-279a-466b-b2c9-5072aeb605fd · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:58:30.055007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 61b165c4-f4f0-47fa-9e53-d23e27e870fb · outbound
This paper cites Greuel and G.
Methods of constructive category theory Greuel and G
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:29.957136Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a54eabd0-7745-478f-9bec-b72344c26665 · outbound
This paper cites Green, Noncommutative gröbner bases, and projective resolutions., In: Dräxler P., Ringel C.M., Michler G.O.
Methods of constructive category theory Green, Noncommutative gröbner bases, and projective resolutions., In: Dräxler P., Ringel C.M., Michler G.O
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:29.908009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 96e3189a-80d9-4d35-a4ab-c2e9a1ab709a · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:58:29.315711Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation af1c7161-c70b-4b43-bede-b16b05433e50 · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:58:29.884487Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 80220eef-08cc-41f8-8685-becbca5bc6e6 · outbound
This paper cites Johnstone, Sketches of an elephant: a topos theory compendium.
Methods of constructive category theory Johnstone, Sketches of an elephant: a topos theory compendium
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:29.869106Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation aa9bb19b-f1dc-4b1f-a0b7-972e9ead1a4f · outbound
This paper cites 5, Springer-Verlag, New York, 1998.
Methods of constructive category theory 5, Springer-Verlag, New York, 1998
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:58:29.328988Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9833f493-6ddd-4646-97c5-12e23d1337f4 · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:58:29.844498Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 08256d7b-37de-4776-970f-d4167cd9c762 · outbound
This paper cites A constructive approach to Freyd categories.
Methods of constructive category theory A constructive approach to Freyd categories
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:58:29.503985Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 359d11ee-5f5f-416e-b4b0-6cab673379b9 · outbound
This paper cites thesis, University of Siegen, 2017, (http://dokumentix.ub.uni-siegen.de/opus/volltexte/2017/1179/ http://dokumentix.ub.uni-siegen.de/opus/volltexte/2017/1179/).
Methods of constructive category theory thesis, University of Siegen, 2017, (http://dokumentix.ub.uni-siegen.de/opus/volltexte/2017/1179/ http://dokumentix.ub.uni-siegen.de/opus/volltexte/2017/1179/)
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:29.828581Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 340f63a6-1724-480b-8dfe-c74823e06f33 · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:58:29.812564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2d402cc7-f578-438e-b773-64753111f80e · outbound
This paper cites 121, Cambridge University Press, Cambridge, 2009.
Methods of constructive category theory 121, Cambridge University Press, Cambridge, 2009
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:58:29.518025Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1f9c06b7-bf65-4d9a-a813-43a0ab9f838f · outbound
This paper cites an unresolved cited work.
Methods of constructive category theory Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:58:29.785389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 82930b43-42e5-4821-ac6d-c3dac3896bf9 · outbound
This paper cites Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1994.
Methods of constructive category theory Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 1994
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:58:29.742997Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.