Paper Citation Record · LEDGER

Methods of constructive category theory

As of 21 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.

pith.paper-citation-record.v1
1908.04132 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:58:29.527307Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+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-21T06:32:19.484+00:00.

Pith citing papers

No inbound Pith citation observations are available.