Paper Citation Record · LEDGER

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory

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

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

pith.paper-citation-record.v1
2510.08452 v2

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T10:50:40.831096Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

14 of 14 outbound references displayed

verified exact0
verified fuzzy0
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e4547f4a-e62a-49df-8b16-6dc0125a5365 · outbound

This paper cites 2025.Agda.https://agda.readthedocs.io/.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory 2025.Agda.https://agda.readthedocs.io/

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:39.657427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8e0495f-6728-4aad-b85b-4e3e88b12ed7 · outbound

This paper cites an unresolved cited work.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:39.747845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b787f85-824f-4135-be5c-66b820dc2885 · outbound

This paper cites an unresolved cited work.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:39.862018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0e76bc2-781e-4db7-81cc-b1323d41e641 · outbound

This paper cites an unresolved cited work.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:39.977847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a43b053c-dcbe-49a0-8070-551818585a6f · outbound

This paper cites 2024.Coq-HoTT — Zigza- gIdentity branch.https://github.com/ThomatoTomato/HoTT/blob/ ZigzagIdentity/theories/PushoutPath/PushoutPath.vAccessed on 2025-13-09.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory 2024.Coq-HoTT — Zigza- gIdentity branch.https://github.com/ThomatoTomato/HoTT/blob/ ZigzagIdentity/theories/PushoutPath/PushoutPath.vAccessed on 2025-13-09

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.085719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a34ecac4-a462-45cd-a3f0-a90a4687856f · outbound

This paper cites an unresolved cited work.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.206376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51c7d11e-27f4-4a52-8f12-d6bb1869ec19 · outbound

This paper cites Classifying Types.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Classifying Types

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.328670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b0f49ab-6adb-45f3-855f-0ee3a55bd65b · outbound

This paper cites Introduction to Homotopy Type Theory.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Introduction to Homotopy Type Theory

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.434978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 870f47bf-c694-4c96-9a4e-0727b18979da · outbound

This paper cites 2025.The agda-unimath library.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory 2025.The agda-unimath library

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.507429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0c1bfd6-2ef9-448f-91e3-a68eeb3a0856 · outbound

This paper cites an unresolved cited work.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.562628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 656b59c3-e3ac-499b-b79b-61f95bd92193 · outbound

This paper cites 2013.Homotopy Type Theory: Univalent Foundations of Mathematics.https://homotopytypetheory.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory 2013.Homotopy Type Theory: Univalent Foundations of Mathematics.https://homotopytypetheory

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.641756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96c2e360-249c-4f4e-9379-b23ae5ff3b9e · outbound

This paper cites an unresolved cited work.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.693688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca9adc0a-0c1b-4e3f-b118-ae6d995f035b · outbound

This paper cites Path spaces of pushouts.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory Path spaces of pushouts

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.777130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56ae194f-0b21-4bb0-b43c-f27822e3a931 · outbound

This paper cites commuting squares of sections.

Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory commuting squares of sections

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T10:50:40.831096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.