Paper Citation Record · LEDGER

Polynomials in homotopy type theory as a Kleisli category

As of 15 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2411.09950.

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

pith.paper-citation-record.v1
2411.09950 v2

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T20:16:14.181996Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

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

32 of 32 outbound references displayed

verified exact12
verified fuzzy2
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 817ce11f-1221-42fd-9fc1-3d77a2516eaf · outbound

This paper cites Ghani, P.

Polynomials in homotopy type theory as a Kleisli category Ghani, P

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.084729Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd1a5aff-9633-4e16-b436-d4806100ab54 · outbound

This paper cites Levy and S.

Polynomials in homotopy type theory as a Kleisli category Levy and S

Reference 2

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.381569Z

Source-reported events for the cited work

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

Observation 054a1554-7fd8-4d0f-abfa-1ad418917a40 · outbound

This paper cites N., A mixed linear and non-linear logic: Proofs, terms and model s, in: International Workshop on Computer Science Logic, pages 121–135, Springer (1994).

Polynomials in homotopy type theory as a Kleisli category N., A mixed linear and non-linear logic: Proofs, terms and model s, in: International Workshop on Computer Science Logic, pages 121–135, Springer (1994)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.093466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69af359e-f156-4ff1-bb6a-b149e3734b82 · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.364965Z

Source-reported events for the cited work

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

Observation 6c979299-9012-4b5e-b800-0697fb417094 · outbound

This paper cites Workshop on Logic and higher structures,.

Polynomials in homotopy type theory as a Kleisli category Workshop on Logic and higher structures,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T20:16:14.523736Z

Source-reported events for the cited work

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

Observation 7cb58d64-876f-4560-8c2e-566a92d1cdc4 · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.103662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffd2fe02-b550-47f8-b612-fb4e51161999 · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-12T20:16:14.514029Z

Source-reported events for the cited work

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

Observation f657d258-b1b3-4f6e-9933-1a2470ea8bee · outbound

This paper cites Mimram, M.

Polynomials in homotopy type theory as a Kleisli category Mimram, M

Reference 8

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.350265Z

Source-reported events for the cited work

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

Observation 067a3351-d48a-45ef-993b-b8bafb434049 · outbound

This paper cites Gambino, M.

Polynomials in homotopy type theory as a Kleisli category Gambino, M

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.111956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1550ab51-00e1-46f8-be5d-35dc56a23782 · outbound

This paper cites https://doi.org/10.1007/BFb0058516.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1007/BFb0058516

Reference 10

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.336316Z

Source-reported events for the cited work

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

Observation 8101309c-2a13-4e1e-96ce-fe93bf06d6da · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.118201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 091890ab-e18e-4d38-b4f6-f709d113ee5d · outbound

This paper cites Haugseng and J.

Polynomials in homotopy type theory as a Kleisli category Haugseng and J

Reference 12

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.322610Z

Source-reported events for the cited work

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

Observation bf1e4061-d5b0-41c4-9307-90350afadaac · outbound

This paper cites https://doi.org/10.1016/0168-0072(88)90025-5.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1016/0168-0072(88)90025-5

Reference 13

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.313526Z

Source-reported events for the cited work

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

Observation c2667061-bc51-4d59-9c80-ea75e46e952e · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.127767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c78b706-26f4-4704-9552-5638935756cd · outbound

This paper cites https://doi.org/10.1090/surv/063.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1090/surv/063

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.130771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bcd91d3-2e43-43ba-87ad-1a17c4c5d61a · outbound

This paper cites https://doi.org/10.2168/LMCS-10(2:2)2014 Harington, Mimram 11–23.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.2168/LMCS-10(2:2)2014 Harington, Mimram 11–23

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.133652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f0d182e-669b-4326-aa6c-3799a9689251 · outbound

This paper cites https://doi.org/10.1016/0001-8708(81)90052-9.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1016/0001-8708(81)90052-9

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.136611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e40a334-e6f5-43bb-8efa-132288f0afda · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.139833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7547cb94-7ca8-4f9e-aa3c-37a6b139dfa3 · outbound

This paper cites https://doi.org/10.1093/imrn/rnq068.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1093/imrn/rnq068

Reference 19

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.278575Z

Source-reported events for the cited work

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

Observation a526bd7b-ebaf-4052-8851-0fa51dec1329 · outbound

This paper cites https://doi.org/10.1016/j.entcs.2013.01.001.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1016/j.entcs.2013.01.001

Reference 20

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.269827Z

Source-reported events for the cited work

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

Observation c1436d91-7410-44bb-a927-2901c11ce338 · outbound

This paper cites L., Weak ω -categories from intensional type theory , Logical Methods in Computer Science 6 (2010).

Polynomials in homotopy type theory as a Kleisli category L., Weak ω -categories from intensional type theory , Logical Methods in Computer Science 6 (2010)

Reference 21

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.259448Z

Source-reported events for the cited work

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

Observation 10560ff6-c43b-4e9e-8448-533517eefbce · outbound

This paper cites https://people.math.harvard.edu/~lurie/papers/HA.pdf.

Polynomials in homotopy type theory as a Kleisli category https://people.math.harvard.edu/~lurie/papers/HA.pdf

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T20:16:14.505182Z

Source-reported events for the cited work

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

Observation a0e975e1-e8ff-4fa6-8e4f-92f95a9c9bdb · outbound

This paper cites https://doi.org/10.1515/9781400830558.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1515/9781400830558

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.155525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14f443bd-e028-43bf-9068-4e5404b2e444 · outbound

This paper cites https://doi.org/10.1007/978-1-4757-4721-8.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1007/978-1-4757-4721-8

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.158338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55957039-a321-411b-b4c5-db1abda032c9 · outbound

This paper cites https://doi.org/10.1109/LICS.2019.8785830.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1109/LICS.2019.8785830

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.161207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a604eae0-de6a-44b5-a1f9-97d85797f357 · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-12T20:16:14.496136Z

Source-reported events for the cited work

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

Observation c175afb8-7113-443a-842a-2ad4b1367420 · outbound

This paper cites A., Linear logic, ∗-autonomous categories and cofree coalgebras , volume 92 (1989).

Polynomials in homotopy type theory as a Kleisli category A., Linear logic, ∗-autonomous categories and cofree coalgebras , volume 92 (1989)

Reference 27

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.236852Z

Source-reported events for the cited work

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

Observation 223a6b4e-e0b3-4c84-afca-b03dbad43877 · outbound

This paper cites Compact Closed Bicategories.

Polynomials in homotopy type theory as a Kleisli category Compact Closed Bicategories

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-12T20:16:14.398510Z

Source-reported events for the cited work

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

Observation f60f4943-58ad-4eb7-8e08-7a3c1f097274 · outbound

This paper cites Polynomials as spans.

Polynomials in homotopy type theory as a Kleisli category Polynomials as spans

Reference 29

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T20:16:14.226006Z

Source-reported events for the cited work

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

Observation 6e988617-d395-4e42-aa38-2933309f15ae · outbound

This paper cites https://doi.org/10.1007/BFb0018351.

Polynomials in homotopy type theory as a Kleisli category https://doi.org/10.1007/BFb0018351

Reference 30

Resolution: verified exact; doi, observed 2026-08-12T20:16:14.211904Z

Source-reported events for the cited work

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

Observation 96eb9a39-341b-48f7-ac28-bef1a85e06b8 · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-12T20:16:14.485499Z

Source-reported events for the cited work

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

Observation 2142fc01-5880-44a1-86cb-6b98265c33d0 · outbound

This paper cites an unresolved cited work.

Polynomials in homotopy type theory as a Kleisli category Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T20:16:14.181996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.