Pith. sign in

Paper Citation Record · LEDGER

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

As of 23 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2412.07475.

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

pith.paper-citation-record.v1
2412.07475 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 6 of 6 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 6 of 6 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:42:45.873319Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-01T13:15:45.947362Z

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 0dfbeaf6-44fc-4d95-817a-3b4a00c1f34b · inbound

Logical relations for call-by-push-value models, via internal fibrations in a 2-category cites this paper.

Logical relations for call-by-push-value models, via internal fibrations in a 2-category Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Reference 87

Resolution
unresolved
no resolver link, observed 2026-08-07T15:42:45.873319Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T15:42:45.873319Z digest=sha256:b38366d1682cc919d5a1d61d67f309da9e2b209e928224d90c010a3649e3ee65

Observation 878288bd-78a0-4730-933c-224d856e5e74 · inbound

Exponentiable virtual double categories and presheaves for double categories cites this paper.

Exponentiable virtual double categories and presheaves for double categories Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Reference 2024

Resolution
unresolved
no resolver link, observed 2026-08-05T19:54:29.199976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T19:54:29.199976Z digest=sha256:b8a837d92e3ead143edcc86209923472d724be4cd946a1a2f83e2b9c5e9a2736

Observation 1c7b4fc5-2b54-4f14-ad06-a2ccf4bcbc95 · inbound

2-dimensional Lawvere theories, commutativity, and higher Day convolution cites this paper.

2-dimensional Lawvere theories, commutativity, and higher Day convolution Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-02T23:21:43.070417Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-02T23:21:43.070417Z digest=sha256:1654863596d827c2b7d9a81e42d8bcad0ab91830069d63b0b5ed348bf4641cbd

Observation dde841b1-38da-4dae-9c2e-295b7dca9509 · inbound

Compositionality of Lyapunov functions via assume-guarantee reasoning cites this paper.

Compositionality of Lyapunov functions via assume-guarantee reasoning Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Reference 5

Resolution
verified exact
arxiv_id, observed 2026-05-13T18:38:07.507470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-05-13T18:35:47.564184Z digest=sha256:de399efda884324fab1cecf8609f38dab2ee5a4ec137f3e86c7bbf2694bd8c82

Observation 45a9ab00-4ba0-47c2-b827-dcd0e511b600 · inbound

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads cites this paper.

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Reference 1

Resolution
verified exact
arxiv_id, observed 2026-05-11T18:06:09.210838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=arxiv_source observed=2026-05-08T16:36:04.288905Z digest=sha256:ce6926038ddcfa62f3f4a5d6ce99f360e462a876fb4a18af690c32f4d941271c

Observation 2d976409-5cbb-4e64-b9ec-788f750f7da3 · inbound

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads cites this paper.

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Reference 1

Resolution
verified exact
arxiv_id, observed 2026-07-01T13:15:45.948985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=arxiv_source observed=2026-06-30T23:48:18.087365Z digest=sha256:a006bdc34fba5a6f0dfe61473a651e443df212586fa0d6f1d8344bf5d7209170