Paper Citation Record · LEDGER

Dilatations of categories, via their lean formalization

As of 14 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:2608.09305.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.09305 v1

Coverage vector

measured 9 of 9 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T19:49:31.011633Z

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

9 of 9 outbound references displayed

verified exact0
verified fuzzy6
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 450bfe33-7308-4bab-8d6c-22211f9dd2cb · outbound

This paper cites Dubouloz, A.

Dilatations of categories, via their lean formalization Dubouloz, A

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:49:31.186466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 24d23160-410b-432e-a7bb-58dbad988cfb · outbound

This paper cites Gabriel and M.

Dilatations of categories, via their lean formalization Gabriel and M

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:49:31.168387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d2e04b94-0401-44cb-82f1-6f86d03d5d4f · outbound

This paper cites an unresolved cited work.

Dilatations of categories, via their lean formalization Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-11T19:49:31.151912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b2d17145-dc7d-4ede-b997-e6475d81f533 · outbound

This paper cites Mayeux, Multi-centered dilatations, congruent isomorphisms and Rost double deformation space,Transformation Groups, 31 (2026), 1801–1850.

Dilatations of categories, via their lean formalization Mayeux, Multi-centered dilatations, congruent isomorphisms and Rost double deformation space,Transformation Groups, 31 (2026), 1801–1850

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:49:31.133731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 99f7df95-1f5d-453e-b755-88d2309509a9 · outbound

This paper cites Mayeux, Dilatations of categories,Higher Structures, 9(2), 2025, 62– 75.

Dilatations of categories, via their lean formalization Mayeux, Dilatations of categories,Higher Structures, 9(2), 2025, 62– 75

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:49:31.116121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2d6411f0-2421-4b4f-9a15-fd39c76a7202 · outbound

This paper cites Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories.

Dilatations of categories, via their lean formalization Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T19:49:30.996009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60c6fed9-31aa-4687-a8b5-e366099a7422 · outbound

This paper cites Mayeux, T.

Dilatations of categories, via their lean formalization Mayeux, T

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:49:31.100090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 19722f68-2adc-43ed-8989-cef6fd902ccb · outbound

This paper cites Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4.

Dilatations of categories, via their lean formalization Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T19:49:31.006648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b99b4b2-1c52-4576-aaed-4e721a9735ff · outbound

This paper cites de Moura and S.

Dilatations of categories, via their lean formalization de Moura and S

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T19:49:31.084332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

No inbound Pith citation observations are available.