Pith. sign in

Paper Citation Record · LEDGER

Towards a double operadic theory of systems

As of 17 August 2026, this Paper Citation Record lists 2 of 2 outbound references and 8 inbound Pith citation observations for arXiv:2505.18329.

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

pith.paper-citation-record.v1
2505.18329 v2

Coverage vector

measured 2 of 2 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:38:50.559441Z

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-05T22:42:54.457955Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T14:59:55.805091Z

Reference resolution

2 of 2 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved2
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 18552214-9ce8-472a-b392-d2b8ffb16667 · outbound

This paper cites Generalised Process Theories.

Towards a double operadic theory of systems Generalised Process Theories

Reference 2025

Resolution
unresolved
no resolver link, observed 2026-08-07T14:38:50.559441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T14:38:50.559441Z digest=sha256:b1aa74586f083ef4715a142e07246f1e677e75da4cfb68ef6c330b12e45e675a

Observation 3a4b32e4-0a58-4fcc-beca-a04e0e1b42c6 · outbound

This paper cites Cartesian double theories: A double-categorical framework for categorical doctrines.

Towards a double operadic theory of systems Cartesian double theories: A double-categorical framework for categorical doctrines

Reference 2962

Resolution
unresolved
no resolver link, observed 2026-08-07T14:38:50.408937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T14:38:50.408937Z digest=sha256:8b8f18b6067b7e0adee9dc1ab9bf499e7bb5a0bbeb0d7e3f6e7125de66e0b6b7

Pith citing papers

Observation 4d6d1ecc-e3f7-4c5e-baa9-bbfc8f728bc1 · inbound

Double-functorial representation of regular hyperdoctrines cites this paper.

Double-functorial representation of regular hyperdoctrines Towards a double operadic theory of systems

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-05T22:42:54.457955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-05T22:42:54.457955Z digest=sha256:4d1e85f3d6cebb0852901f52d63aacacbab1b02bc5e541c54b6b3b58996185f0

Observation ddfa3600-2290-4b02-b4b2-7005102b43df · inbound

Double Categories of Open Systems: the Cospan Approach cites this paper.

Double Categories of Open Systems: the Cospan Approach Towards a double operadic theory of systems

Reference 64

Resolution
unresolved
no resolver link, observed 2026-08-04T14:52:25.333811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T14:52:25.333811Z digest=sha256:c97c1eb3d185ba6dff13d5432780612c72c4cc48fdf7c3778ca87d7596d080e7

Observation 301aa962-579a-4c2d-abed-7168a604a844 · inbound

Working Paper: Towards a Category-theoretic Comparative Framework for Artificial General Intelligence cites this paper.

Working Paper: Towards a Category-theoretic Comparative Framework for Artificial General Intelligence Towards a double operadic theory of systems

Reference 49

Resolution
verified exact
arxiv_id, observed 2026-05-14T21:17:59.018757Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-05-14T21:16:08.021432Z digest=sha256:dd9239f3c412bcdc85032fd8e34c55f92905ab11d2cda8f421e821ca61e023fd

Observation 6035210d-8430-4292-8158-e07fc5e7686f · inbound

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

Compositionality of Lyapunov functions via assume-guarantee reasoning Towards a double operadic theory of systems

Reference 21

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

Source-reported events for the cited work

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

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

Observation 802ab13f-d1fd-4af6-8046-b30409980ba1 · 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 Towards a double operadic theory of systems

Reference 19

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

Source-reported events for the cited work

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

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

Observation ee48aa0d-9e31-474c-a142-a781fe250fbd · 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 Towards a double operadic theory of systems

Reference 20

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

Source-reported events for the cited work

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

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

Observation 2b499f4f-bacd-4596-97fa-cce8bde8576b · inbound

On categories of monads and comonads in double categories cites this paper.

On categories of monads and comonads in double categories Towards a double operadic theory of systems

Reference 28

Resolution
verified exact
arxiv_id, observed 2026-07-04T14:59:55.806568Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-06-26T01:57:46.111850Z digest=sha256:5d5fbf9fcb3ad36bf8c98fc967f8fafe9953e4d15540abcdb966fd47e3bc5654

Observation 00da4b25-5077-49bf-b2da-260176495368 · inbound

Dynamical Systems as Functorial Realisations of Abstract Evolution Shapes cites this paper.

Dynamical Systems as Functorial Realisations of Abstract Evolution Shapes Towards a double operadic theory of systems

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-01T18:00:34.432621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-01T18:00:34.432621Z digest=sha256:d13b0b34108f48e8d2c276bf0fa4ff7443816c301e44ac88448cb895e567a985