Paper Citation Record · LEDGER

Computads with invertible generators for weak {\omega}-categories

As of 20 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2606.30254.

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

pith.paper-citation-record.v1
2606.30254 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T11:50:26.030339Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

34 of 34 outbound references displayed

verified exact22
verified fuzzy0
unresolved7
parse uncertain0
malformed identifier4
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c1e69a8e-3770-4435-a29c-06718e09a7d5 · outbound

This paper cites Cores and localizations of(∞,∞)-categories.

Computads with invertible generators for weak {\omega}-categories Cores and localizations of(∞,∞)-categories

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-06-30T03:24:12.498240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e2406677-2dd7-4b18-bb39-36498bd96cec · outbound

This paper cites Henry, F.

Computads with invertible generators for weak {\omega}-categories Henry, F

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-06-30T03:24:12.230498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e07d6cc5-8d44-40b3-bf23-9d4c077dcbce · outbound

This paper cites an unresolved cited work.

Computads with invertible generators for weak {\omega}-categories Unresolved cited work

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-06-30T03:24:12.227630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a271dbfc-5cda-42ba-8688-e3093a412c7b · outbound

This paper cites Leinster, Higher operads, higher categories, no.

Computads with invertible generators for weak {\omega}-categories Leinster, Higher operads, higher categories, no

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eda572b6-97db-41b9-a419-38ad4e8ccb5a · outbound

This paper cites an unresolved cited work.

Computads with invertible generators for weak {\omega}-categories Unresolved cited work

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-06-30T03:24:12.224938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e4df7b49-4563-4a2b-8a50-88fd7415add9 · outbound

This paper cites Ozornova, M.

Computads with invertible generators for weak {\omega}-categories Ozornova, M

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af0f27c9-0fa9-419a-82a6-56e7073aaa1e · outbound

This paper cites Fujii, K.

Computads with invertible generators for weak {\omega}-categories Fujii, K

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-06-30T03:24:12.500712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4aac3fa7-614f-4cb3-a994-d138963e00ad · outbound

This paper cites Markakis, Computads for generalised signatures, Journal of Pure and Ap- plied Algebra 228 (9) (2024) 107675.doi:10.1016/j.jpaa.2024.107675.

Computads with invertible generators for weak {\omega}-categories Markakis, Computads for generalised signatures, Journal of Pure and Ap- plied Algebra 228 (9) (2024) 107675.doi:10.1016/j.jpaa.2024.107675

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-06-30T03:24:12.237526Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 60727730-d5fc-46f2-bd8f-dc3cfffc6ea8 · outbound

This paper cites The category of 3-computads is not cartesian closed.

Computads with invertible generators for weak {\omega}-categories The category of 3-computads is not cartesian closed

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-06-30T03:24:12.171948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 14af3e3f-58d4-4771-ab10-10998a526a65 · outbound

This paper cites Cheng, A direct proof that the category of 3-computads is not carte- sian closed, Cahiers de Topologie et Géométrie Différentielle Catégoriques LIV (1) (2013) 3–12.

Computads with invertible generators for weak {\omega}-categories Cheng, A direct proof that the category of 3-computads is not carte- sian closed, Cahiers de Topologie et Géométrie Différentielle Catégoriques LIV (1) (2013) 3–12

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c67dcde1-62b7-4d2f-a276-fc2d52872d97 · outbound

This paper cites Finster, S.

Computads with invertible generators for weak {\omega}-categories Finster, S

Reference 11

Resolution: malformed identifier; arxiv_id, observed 2026-06-30T03:24:12.493964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 533c6825-2080-4744-9498-0a1cc4a11d3a · outbound

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

Computads with invertible generators for weak {\omega}-categories Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-06-30T03:24:12.496039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 825adb31-0f03-4759-b583-6ed9b05bd59d · outbound

This paper cites Ara, Sur les∞-groupoïdes de Grothendieck et une variante∞- catégorique, Phd thesis, Université Paris Diderot (2010).

Computads with invertible generators for weak {\omega}-categories Ara, Sur les∞-groupoïdes de Grothendieck et une variante∞- catégorique, Phd thesis, Université Paris Diderot (2010)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6f9ec25-889a-4df9-b2c0-62eb759b31e8 · outbound

This paper cites Bourke, Iterated algebraic injectivity and the faithfulness conjecture, Higher Structures 4 (2) (2020) 183–210.doi:10.21136/HS.2020.13.

Computads with invertible generators for weak {\omega}-categories Bourke, Iterated algebraic injectivity and the faithfulness conjecture, Higher Structures 4 (2) (2020) 183–210.doi:10.21136/HS.2020.13

Reference 14

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.213488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e82cac68-6c5f-4b5a-8424-ac203e2df49d · outbound

This paper cites Benjamin, S.

Computads with invertible generators for weak {\omega}-categories Benjamin, S

Reference 15

Resolution: malformed identifier; doi_truncated, observed 2026-06-30T03:24:12.215701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5fb2133f-7835-4c3d-9eb7-da8df67107ab · outbound

This paper cites Benjamin, I.

Computads with invertible generators for weak {\omega}-categories Benjamin, I

Reference 16

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.209384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7451bcab-8617-4ecd-9be2-7057c5fe7573 · outbound

This paper cites Cheng, Anω-category with all duals is anω-groupoid, Applied Categor- ical Structures 15 (4) (2007) 439–453.doi:10.1007/s10485-007-9081-8.

Computads with invertible generators for weak {\omega}-categories Cheng, Anω-category with all duals is anω-groupoid, Applied Categor- ical Structures 15 (4) (2007) 439–453.doi:10.1007/s10485-007-9081-8

Reference 17

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.206902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e15a342f-6924-46e4-8b95-d4a56b603def · outbound

This paper cites Rice, Coinductive invertibility in higher categories (2020).arXiv:2008.

Computads with invertible generators for weak {\omega}-categories Rice, Coinductive invertibility in higher categories (2020).arXiv:2008

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31a31d5f-5969-4c42-844b-4f0d031cee2a · outbound

This paper cites Ozornova, M.

Computads with invertible generators for weak {\omega}-categories Ozornova, M

Reference 19

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.232198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 661fa613-b3f3-4e9f-9076-fefdbc2cb8ec · outbound

This paper cites Hadzihasanovic, F.

Computads with invertible generators for weak {\omega}-categories Hadzihasanovic, F

Reference 20

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.217491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4b57ea37-b59d-4a2f-8207-e7b266a26c11 · outbound

This paper cites Rezk, A cartesian presentation of weakn–categories, Geometry and Topology 14 (1) (2010) 521–571.doi:10.2140/gt.2010.14.521.

Computads with invertible generators for weak {\omega}-categories Rezk, A cartesian presentation of weakn–categories, Geometry and Topology 14 (1) (2010) 521–571.doi:10.2140/gt.2010.14.521

Reference 21

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.163117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8f16fd08-3ad3-4fb9-9210-22f98261bbc9 · outbound

This paper cites Street, Limits indexed by category-valued 2-functors, Journal of Pure and Applied Algebra 8 (2) (1976) 149–181.doi:10.1016/0022-4049(76) 90013-X.

Computads with invertible generators for weak {\omega}-categories Street, Limits indexed by category-valued 2-functors, Journal of Pure and Applied Algebra 8 (2) (1976) 149–181.doi:10.1016/0022-4049(76) 90013-X

Reference 22

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.174352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 385469fc-ad62-4ccb-8b1f-bf56003e1b74 · outbound

This paper cites Street, The algebra of oriented simplexes, Journal of Pure and Applied Algebra 49 (3) (1987) 283–335.doi:10.1016/0022-4049(87)90137-X.

Computads with invertible generators for weak {\omega}-categories Street, The algebra of oriented simplexes, Journal of Pure and Applied Algebra 49 (3) (1987) 283–335.doi:10.1016/0022-4049(87)90137-X

Reference 23

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.177049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4e40b19a-3160-4d60-b5c9-c89611fd5b75 · outbound

This paper cites Higher-dimensional word problems with applications to equational logic.Theoretical computer science, 115(1):43–62, 1993.doi:10.1016/0304-3975(93)90054-W.

Computads with invertible generators for weak {\omega}-categories Higher-dimensional word problems with applications to equational logic.Theoretical computer science, 115(1):43–62, 1993.doi:10.1016/0304-3975(93)90054-W

Reference 24

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.222194Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 043e53f1-8769-47e9-a5e1-7fe78234fb10 · outbound

This paper cites Polygraphs: From Rewriting to Higher Categories.

Computads with invertible generators for weak {\omega}-categories Polygraphs: From Rewriting to Higher Categories

Reference 25

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.234452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5a69adb0-c833-456a-b40f-8412c172bece · outbound

This paper cites an unresolved cited work.

Computads with invertible generators for weak {\omega}-categories Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.211395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 90b3c06e-6c45-4563-bc80-af100f8d4095 · outbound

This paper cites Dybjer, A.

Computads with invertible generators for weak {\omega}-categories Dybjer, A

Reference 27

Resolution: malformed identifier; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddae8ad4-f1fa-4deb-a12a-8299eb516361 · outbound

This paper cites Hancock, C.

Computads with invertible generators for weak {\omega}-categories Hancock, C

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98926d99-b348-4ea3-a52c-8cfad8e533bd · outbound

This paper cites Adámek, Free algebras and automata realizations in the language of categories, Commentationes Mathematicae Universitatis Carolinae 015 (4) (1974) 589–602.

Computads with invertible generators for weak {\omega}-categories Adámek, Free algebras and automata realizations in the language of categories, Commentationes Mathematicae Universitatis Carolinae 015 (4) (1974) 589–602

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5714eec0-421e-4c51-8dca-86fc19b89602 · outbound

This paper cites Separation and definability in fragments of two-variable first-order logic with counting.

Computads with invertible generators for weak {\omega}-categories Separation and definability in fragments of two-variable first-order logic with counting

Reference 30

Resolution: metadata mismatch; arxiv_id, observed 2026-06-30T03:24:12.167324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8adb5e92-8b0e-44d0-b40f-105c0e0f4a44 · outbound

This paper cites Lafont, F.

Computads with invertible generators for weak {\omega}-categories Lafont, F

Reference 31

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.169255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7de5d71a-77b8-428a-a10a-fb9a7243527c · outbound

This paper cites Hoshino, S.

Computads with invertible generators for weak {\omega}-categories Hoshino, S

Reference 32

Resolution: verified exact; doi, observed 2026-06-30T03:24:12.164710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c3c31a8d-bc49-44e2-9b9e-b9cc5ac174ec · outbound

This paper cites Invertible cells in $\omega$-categories.

Computads with invertible generators for weak {\omega}-categories Invertible cells in $\omega$-categories

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-06-30T03:24:12.220005Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7b5087a9-5746-487e-b148-511921b8010e · outbound

This paper cites Makkai, The word problem for computads (2005).

Computads with invertible generators for weak {\omega}-categories Makkai, The word problem for computads (2005)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-30T03:16:16.521884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.