Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Algebraic models of homotopy types and the homotopy hypothesis
As of 12 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:1609.04622.
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-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-10T18:13:05.365793Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-11T09:56:04.100341Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation 568215b3-b147-42b5-9af2-87c046449ae1 · inbound
Naturality for higher-dimensional path types cites this paper.
Naturality for higher-dimensional path types Algebraic models of homotopy types and the homotopy hypothesis
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T18:13:05.365793Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 46a3cdba-8229-4dfd-8add-5f46a8bddcbc · inbound
Semi-strictification of $(\infty, n)$-categories cites this paper.
Semi-strictification of $(\infty, n)$-categories Algebraic models of homotopy types and the homotopy hypothesis
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:30:02.731828Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dfde0ab3-062b-4742-b2d6-16a75984f11a · inbound
A monoidal category of dependently sorted algebraic theories I: syntax cites this paper.
A monoidal category of dependently sorted algebraic theories I: syntax Algebraic models of homotopy types and the homotopy hypothesis
Reference 221
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:52:08.255977Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3892cef3-9607-4e2d-a6d4-611c1edccc3d · inbound
An Inductive Strategy Towards a Solution to the Generalized Homotopy Hypothesis cites this paper.
An Inductive Strategy Towards a Solution to the Generalized Homotopy Hypothesis Algebraic models of homotopy types and the homotopy hypothesis
Reference 7
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T21:24:02.627997Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cc3c4520-95b9-41a5-b602-553cf99013cf · inbound
Algebraic coherators, controlled theories, and Grothendieck realizations cites this paper.
Algebraic coherators, controlled theories, and Grothendieck realizations Algebraic models of homotopy types and the homotopy hypothesis
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T04:14:50.890325Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.