Paper Citation Record · LEDGER

Naturality for higher-dimensional path types

As of 12 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2501.11620.

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

pith.paper-citation-record.v1
2501.11620 v3

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T18:13:05.462700Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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

45 of 45 outbound references displayed

verified exact13
verified fuzzy14
unresolved16
parse uncertain2
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 59e961ca-0873-432e-93d2-a280917b55e9 · outbound

This paper cites ‘A Syntactical Appro ach to Weak ω-Groupoids’.

Naturality for higher-dimensional path types ‘A Syntactical Appro ach to Weak ω-Groupoids’

Reference 1

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.726120Z

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 5ab2bf3d-03fd-4e27-a1d3-9ef02143a1df · outbound

This paper cites ‘Sur les ∞-groupo ¨ ıdes de Grothendieck et une variante∞- cat´ egorique’.

Naturality for higher-dimensional path types ‘Sur les ∞-groupo ¨ ıdes de Grothendieck et une variante∞- cat´ egorique’

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.472309Z

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 5e86d9ee-9407-4a30-a1bc-4818cd8e582a · outbound

This paper cites The folk model category structure on strict $\omega$-categories is monoidal.

Naturality for higher-dimensional path types The folk model category structure on strict $\omega$-categories is monoidal

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.249124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1accc74d-b1f5-4ade-b7c2-bcb645681549 · outbound

This paper cites ‘Joint et tranches pour les ∞- cat´ egories strictes’.

Naturality for higher-dimensional path types ‘Joint et tranches pour les ∞- cat´ egories strictes’

Reference 4

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.709250Z

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 e594763d-9721-4ed5-80e6-5f3f9dd8cd10 · outbound

This paper cites Baez and James Dolan.

Naturality for higher-dimensional path types Baez and James Dolan

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.261068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f2a4aad-0c83-405d-8687-fb9c1d29ede6 · outbound

This paper cites Modular categories as representations of the 3-dimensional bordism 2-category.

Naturality for higher-dimensional path types Modular categories as representations of the 3-dimensional bordism 2-category

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.266213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fbd16c0-9b04-440b-a5de-e84506d49191 · outbound

This paper cites Computads and slices of operads.

Naturality for higher-dimensional path types Computads and slices of operads

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-08-10T18:13:06.155584Z

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 38aff102-f198-4b05-936d-61f7cccafcf4 · outbound

This paper cites an unresolved cited work.

Naturality for higher-dimensional path types Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.277179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c491aed5-a30b-42f4-956f-78aeefa2e5ac · outbound

This paper cites ‘Introduction to bicategories’.

Naturality for higher-dimensional path types ‘Introduction to bicategories’

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.281985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0faa19be-603c-411e-8bce-305bf5a20c12 · outbound

This paper cites ‘A type theoretic approach to weak ω-categories and related higher structures’.

Naturality for higher-dimensional path types ‘A type theoretic approach to weak ω-categories and related higher structures’

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.455626Z

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 99b67cf0-53a4-432d-90c1-34e45d94c4cc · outbound

This paper cites Generating Higher Identity Proofs in Homotopy Type Theory.

Naturality for higher-dimensional path types Generating Higher Identity Proofs in Homotopy Type Theory

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-10T18:13:06.043611Z

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 7b495e18-971d-4514-8538-e658ca48f999 · outbound

This paper cites Hom $\omega$-categories of a computad are free.

Naturality for higher-dimensional path types Hom $\omega$-categories of a computad are free

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-10T18:13:06.017073Z

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 3923c634-27ca-487f-845b-4cb5bc5e3015 · outbound

This paper cites ‘Invertible cells in ω-categories’.

Naturality for higher-dimensional path types ‘Invertible cells in ω-categories’

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.438941Z

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 351fd1f1-4995-459a-aeac-3e6d33b5d344 · outbound

This paper cites ‘CaTT cont exts are ﬁnite computads’.

Naturality for higher-dimensional path types ‘CaTT cont exts are ﬁnite computads’

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.307077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a7fa710-8ef1-43b5-810f-7144f755f3c9 · outbound

This paper cites ‘Globular Weak ω- Categories as Models of a Type Theory’.

Naturality for higher-dimensional path types ‘Globular Weak ω- Categories as Models of a Type Theory’

Reference 15

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.661122Z

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 1c1afbdb-17f1-4da2-a058-63e763ca23f7 · outbound

This paper cites ‘Types are weak ω-groupoids’.

Naturality for higher-dimensional path types ‘Types are weak ω-groupoids’

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.422277Z

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 9423ac82-a685-4d88-b6ee-5627f31d7e83 · outbound

This paper cites ‘A Cellular Nerve for Higher Categories’.

Naturality for higher-dimensional path types ‘A Cellular Nerve for Higher Categories’

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.326792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e40f1b44-ec90-43d7-ae98-c035ccd55604 · outbound

This paper cites ‘P roofs for Free: Parametricity for Dependent Types’.

Naturality for higher-dimensional path types ‘P roofs for Free: Parametricity for Dependent Types’

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.331581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41fbda86-76ac-4fa5-a2c5-4dbecf113748 · outbound

This paper cites ‘Iterated algebraic injectivity and the faithfulne ss conjec- ture’.

Naturality for higher-dimensional path types ‘Iterated algebraic injectivity and the faithfulne ss conjec- ture’

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.336418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baebb5cd-bef8-45d7-abc5-fa7719ac1f7c · outbound

This paper cites ‘Orientals and Cubes, Indu ctively’.

Naturality for higher-dimensional path types ‘Orientals and Cubes, Indu ctively’

Reference 20

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.613183Z

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 368d8640-8ce9-48dd-8f0c-9f068a0eefcb · outbound

This paper cites an unresolved cited work.

Naturality for higher-dimensional path types Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.597068Z

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 d1d381f4-b487-4d72-a17d-5497601cbd08 · outbound

This paper cites ‘Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Chur ch- Rosser theorem’.

Naturality for higher-dimensional path types ‘Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Chur ch- Rosser theorem’

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.351577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a886a69-6924-490f-8802-edb88da2fd17 · outbound

This paper cites Dean et al.

Naturality for higher-dimensional path types Dean et al

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.356349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d157296c-bf68-4c61-9b41-a1c0ce856508 · outbound

This paper cites ‘A type-theoretical deﬁnition o f weak ω-categories’.

Naturality for higher-dimensional path types ‘A type-theoretical deﬁnition o f weak ω-categories’

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.360906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 568215b3-b147-42b5-9af2-87c046449ae1 · outbound

This paper cites Algebraic models of homotopy types and the homotopy hypothesis.

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 dc9867aa-1262-4d19-be2c-4f4dc1134ea0 · outbound

This paper cites ‘On the homotopy hypothesis in di- mension 3’.

Naturality for higher-dimensional path types ‘On the homotopy hypothesis in di- mension 3’

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.406178Z

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 06ae5e77-e7a8-48f8-85c9-6cec3c1cf1da · outbound

This paper cites ‘A folk model structure on omega-cat’.

Naturality for higher-dimensional path types ‘A folk model structure on omega-cat’

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.389134Z

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 f7a2fc46-5aa5-4951-9292-ea67f7e80c6e · outbound

This paper cites ‘A semi-model structure for Grothendieck we ak 3-groupoids’.

Naturality for higher-dimensional path types ‘A semi-model structure for Grothendieck we ak 3-groupoids’

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.372835Z

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 c61b75db-2ac9-4ffe-b59a-5725d1064aff · outbound

This paper cites ‘Towards a globular path object for weak ∞-groupoids’.

Naturality for higher-dimensional path types ‘Towards a globular path object for weak ∞-groupoids’

Reference 29

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.553213Z

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 6bab1a57-4fc7-43cd-bcd6-da060284fe37 · outbound

This paper cites ‘Weak ω-Categories from Intensional Type The- ory’.

Naturality for higher-dimensional path types ‘Weak ω-Categories from Intensional Type The- ory’

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.356616Z

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 54afffc4-a8d6-4b72-b25d-b743a2ec3b01 · outbound

This paper cites ‘Derived algebraic geometry’.

Naturality for higher-dimensional path types ‘Derived algebraic geometry’

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.340693Z

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 7baa1e4b-aee0-4797-ade7-2b57f468ab97 · outbound

This paper cites Higher Topos Theory.

Naturality for higher-dimensional path types Higher Topos Theory

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.323334Z

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 603c5747-077e-4d25-8ff8-00557bcbce9e · outbound

This paper cites Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories.

Naturality for higher-dimensional path types Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.416896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f925912-b667-4db5-9e22-238ee7e1a136 · outbound

This paper cites ‘Towards 3-Dimensional Rewriting Theory’.

Naturality for higher-dimensional path types ‘Towards 3-Dimensional Rewriting Theory’

Reference 34

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.519983Z

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 891ed97a-e6e5-408d-804b-76700593ca60 · outbound

This paper cites Reynolds.

Naturality for higher-dimensional path types Reynolds

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.307318Z

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 0fcd3759-a29d-41d7-b0a9-a3e581019e96 · outbound

This paper cites Schommer-Pries.

Naturality for higher-dimensional path types Schommer-Pries

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.289997Z

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 4daf0177-183c-4e57-898c-5e8dd58c613f · outbound

This paper cites an unresolved cited work.

Naturality for higher-dimensional path types Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:13:06.271926Z

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 4b421473-3055-4f34-9063-aa0f1c0bc336 · outbound

This paper cites ‘The petit topos of globular sets’.

Naturality for higher-dimensional path types ‘The petit topos of globular sets’

Reference 38

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.503730Z

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 aeb98576-e4c7-43d6-bf2a-2b6339440bcd · outbound

This paper cites ‘Generic morphisms, parametric representations and weakly cartesian monads.’ In: Theory and Applications of Categories 13 (2004), pp.

Naturality for higher-dimensional path types ‘Generic morphisms, parametric representations and weakly cartesian monads.’ In: Theory and Applications of Categories 13 (2004), pp

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.255756Z

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 d9e4dfb9-23c6-49f2-bbe8-d10edfadfeb1 · outbound

This paper cites an unresolved cited work.

Naturality for higher-dimensional path types Unresolved cited work

Reference 43

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T18:13:06.238836Z

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 0baa00c3-922c-4e1c-ba53-c1e50a4cca5e · outbound

This paper cites an unresolved cited work.

Naturality for higher-dimensional path types Unresolved cited work

Reference 44

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T18:13:06.222728Z

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 20a10233-7d13-4de7-b955-12986bc3bc39 · outbound

This paper cites In the ﬁrst case, xj+1 /∈X, hence the phases are respectively of the form wX k,j+1 andwX k,j.

Naturality for higher-dimensional path types In the ﬁrst case, xj+1 /∈X, hence the phases are respectively of the form wX k,j+1 andwX k,j

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:13:06.206340Z

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 eb50e481-e229-4aa2-848f-35d8b93b7c38 · outbound

This paper cites an unresolved cited work.

Naturality for higher-dimensional path types Unresolved cited work

Reference 187

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.536343Z

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 10758670-bbce-41c7-9327-9ddc33c9f263 · outbound

This paper cites an unresolved cited work.

Naturality for higher-dimensional path types Unresolved cited work

Reference 394

Resolution: unresolved; no resolver link, observed 2026-08-10T18:13:05.321909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36a88946-8fee-4df5-a7ae-176216e222df · outbound

This paper cites an unresolved cited work.

Naturality for higher-dimensional path types Unresolved cited work

Reference 1231

Resolution: verified exact; doi, observed 2026-08-10T18:13:05.568875Z

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.

Pith citing papers

No inbound Pith citation observations are available.