Paper Citation Record · LEDGER

Premonoidal and Kleisli double categories

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

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

pith.paper-citation-record.v1
2401.17494 v3

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-24T04:11:19.884889Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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 exact7
verified fuzzy23
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 757fbd1c-782f-46ed-87d7-9f7b12feec29 · outbound

This paper cites Bourke, N.

Premonoidal and Kleisli double categories Bourke, N

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.769078Z

Source-reported events for the cited work

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

Observation 26271d19-4d78-42a5-9365-4942dbe66a69 · outbound

This paper cites B ¨ ohm,The Gray Monoidal Product of Double Categories , Appl.

Premonoidal and Kleisli double categories B ¨ ohm,The Gray Monoidal Product of Double Categories , Appl

Reference 2

Resolution: verified exact; doi, observed 2026-05-24T04:13:52.414166Z

Source-reported events for the cited work

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

Observation df168b48-6508-4d08-8ce0-5047248d8782 · outbound

This paper cites Brown, C.

Premonoidal and Kleisli double categories Brown, C

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.817338Z

Source-reported events for the cited work

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

Observation 88579637-2e67-479c-9d5b-64fcddc68746 · outbound

This paper cites Cruttwell, M.

Premonoidal and Kleisli double categories Cruttwell, M

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.831543Z

Source-reported events for the cited work

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

Observation db46a7ac-7be2-46ee-a598-d9fc3a08d928 · outbound

This paper cites an unresolved cited work.

Premonoidal and Kleisli double categories Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-05-24T05:58:58.765479Z

Source-reported events for the cited work

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

Observation 336bac89-8099-4815-8da5-8d80fd964f66 · outbound

This paper cites Femi´ c,Bifunctor Theorem and strictiﬁcation tensor product for do uble categories with lax double functors, Theory Appl.

Premonoidal and Kleisli double categories Femi´ c,Bifunctor Theorem and strictiﬁcation tensor product for do uble categories with lax double functors, Theory Appl

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.839258Z

Source-reported events for the cited work

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

Observation 1f937fb7-82d7-49fe-ae31-5c30e63fafe4 · outbound

This paper cites Femi´ c, Enrichment and internalization in tricategories, the case of tensor categories and alternative notion to intercategories , Filomat 38/8, 2601–2660.

Premonoidal and Kleisli double categories Femi´ c, Enrichment and internalization in tricategories, the case of tensor categories and alternative notion to intercategories , Filomat 38/8, 2601–2660

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.806672Z

Source-reported events for the cited work

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

Observation 1d421063-58eb-43cb-bc11-9334efd55fc8 · outbound

This paper cites Gray (skew) multicategories: double and Gray-categorical cases.

Premonoidal and Kleisli double categories Gray (skew) multicategories: double and Gray-categorical cases

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-05-24T04:13:53.384477Z

Source-reported events for the cited work

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

Observation 51dae347-ae5f-4542-9959-3d1a58c2c621 · outbound

This paper cites Categorical centers and Yetter--Drinfel`d-modules as 2-categorical (bi)lax structures.

Premonoidal and Kleisli double categories Categorical centers and Yetter--Drinfel`d-modules as 2-categorical (bi)lax structures

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-24T04:13:53.389298Z

Source-reported events for the cited work

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

Observation 68558dde-f8fa-4f3f-ab00-91b841f96946 · outbound

This paper cites Gambino, R.

Premonoidal and Kleisli double categories Gambino, R

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.791312Z

Source-reported events for the cited work

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

Observation c49875e3-3a30-4ec1-a61f-3c5dfc4660be · outbound

This paper cites Gordon, A.

Premonoidal and Kleisli double categories Gordon, A

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.798407Z

Source-reported events for the cited work

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

Observation e3e555d0-2a54-4293-b49d-2d45c032687f · outbound

This paper cites Grandis, Higher Dimensional Categories: From Double to Multiple Cat egories, World Scientiﬁc (2019).

Premonoidal and Kleisli double categories Grandis, Higher Dimensional Categories: From Double to Multiple Cat egories, World Scientiﬁc (2019)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.853194Z

Source-reported events for the cited work

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

Observation 7799a9c3-8e9f-46d8-96f5-89606a0983ff · outbound

This paper cites Grandis, R.

Premonoidal and Kleisli double categories Grandis, R

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.842671Z

Source-reported events for the cited work

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

Observation 1d050ea0-bcd6-49ff-93e0-c003e4b850f8 · outbound

This paper cites Grandis, R.

Premonoidal and Kleisli double categories Grandis, R

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.809945Z

Source-reported events for the cited work

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

Observation c1555514-ec8b-4654-8634-a48ae10e4fe6 · outbound

This paper cites an unresolved cited work.

Premonoidal and Kleisli double categories Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-24T05:58:58.860474Z

Source-reported events for the cited work

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

Observation 454dd8e5-a3b3-478f-887f-64759c97e13d · outbound

This paper cites Hermida, Representable multicategories, Adv.

Premonoidal and Kleisli double categories Hermida, Representable multicategories, Adv

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.846280Z

Source-reported events for the cited work

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

Observation bc92ba25-53b6-43aa-913c-84254289f2e5 · outbound

This paper cites Marmolejo, Doctrines whose structure forms a fully faithful adjoint st ring, Theory and Applications of Categories 3/2 (1997), 23–24.

Premonoidal and Kleisli double categories Marmolejo, Doctrines whose structure forms a fully faithful adjoint st ring, Theory and Applications of Categories 3/2 (1997), 23–24

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.813833Z

Source-reported events for the cited work

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

Observation b3bd4f2d-bc8a-4298-852c-0bed3531d8af · outbound

This paper cites McDermott, T.

Premonoidal and Kleisli double categories McDermott, T

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.787834Z

Source-reported events for the cited work

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

Observation 0572a2f2-cf56-4b55-a5f6-d73ed9591e75 · outbound

This paper cites an unresolved cited work.

Premonoidal and Kleisli double categories Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-05-24T05:58:58.794776Z

Source-reported events for the cited work

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

Observation 0827163f-8b52-48d9-9598-d4e7cdae420a · outbound

This paper cites Møgelberg, S.

Premonoidal and Kleisli double categories Møgelberg, S

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.849641Z

Source-reported events for the cited work

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

Observation 5968960f-a9ff-4c7f-9fd7-049b5f80b2bf · outbound

This paper cites Moggi, Computational lambda-calculus and monads , In Proceedings, Fourth An- nual Symposium on Logic in Computer Science.

Premonoidal and Kleisli double categories Moggi, Computational lambda-calculus and monads , In Proceedings, Fourth An- nual Symposium on Logic in Computer Science

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.821026Z

Source-reported events for the cited work

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

Observation 117aee4b-5de6-4fa0-be84-dc51351ad212 · outbound

This paper cites Moggi, Notions of computation and monads , Information and Computation 93/1 (1991), 55–92.

Premonoidal and Kleisli double categories Moggi, Notions of computation and monads , Information and Computation 93/1 (1991), 55–92

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.783898Z

Source-reported events for the cited work

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

Observation 2fc48aae-526b-48f7-bd9b-af7da17c83a6 · outbound

This paper cites Paquet, P.

Premonoidal and Kleisli double categories Paquet, P

Reference 23

Resolution: verified exact; doi, observed 2026-05-24T04:13:52.410415Z

Source-reported events for the cited work

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

Observation d2149362-b519-498d-ab78-5ae70bf3ea42 · outbound

This paper cites A Nominal Approach to Probabilistic Separation Logic.

Premonoidal and Kleisli double categories A Nominal Approach to Probabilistic Separation Logic

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-24T04:13:52.406794Z

Source-reported events for the cited work

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

Observation c32c8121-d736-42d2-a742-b5815651a500 · outbound

This paper cites Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads.

Premonoidal and Kleisli double categories Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-24T04:13:53.379879Z

Source-reported events for the cited work

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

Observation e9fe6348-e379-4d04-acb6-96ebd68dcd60 · outbound

This paper cites Power, Premonoidal categories as categories with algebraic struc ture, Theoretical Computer Science 278/(1-2) (2002), 303–321.

Premonoidal and Kleisli double categories Power, Premonoidal categories as categories with algebraic struc ture, Theoretical Computer Science 278/(1-2) (2002), 303–321

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.824569Z

Source-reported events for the cited work

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

Observation 7bed0ac4-63d7-4ebd-b67b-95c6f25c453b · outbound

This paper cites Power, E.

Premonoidal and Kleisli double categories Power, E

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.856653Z

Source-reported events for the cited work

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

Observation ba4ff4da-146b-4e36-9003-402ca887597e · outbound

This paper cites Power, H.

Premonoidal and Kleisli double categories Power, H

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.828061Z

Source-reported events for the cited work

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

Observation 613af294-df7d-4353-bfd7-510462d352b1 · outbound

This paper cites an unresolved cited work.

Premonoidal and Kleisli double categories Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-05-24T05:58:58.776826Z

Source-reported events for the cited work

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

Observation 7043b717-d9e8-44aa-8ca8-2e30f61bb12c · outbound

This paper cites Constructing symmetric monoidal bicategories.

Premonoidal and Kleisli double categories Constructing symmetric monoidal bicategories

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-05-24T04:13:53.375359Z

Source-reported events for the cited work

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

Observation 40233c1e-f5cc-481a-b86d-8e81910ca5c5 · outbound

This paper cites Shulman Framed bicategories and monoidal ﬁbrations , Theory Appl.

Premonoidal and Kleisli double categories Shulman Framed bicategories and monoidal ﬁbrations , Theory Appl

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.780621Z

Source-reported events for the cited work

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

Observation 06f3d31a-c828-498f-afa6-981a98a93169 · outbound

This paper cites Staton, Commutative semantics for probabilistic programming , In Programming Languages and Systems, Springer Berlin Heidelberg (2017), 855–879.

Premonoidal and Kleisli double categories Staton, Commutative semantics for probabilistic programming , In Programming Languages and Systems, Springer Berlin Heidelberg (2017), 855–879

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.802783Z

Source-reported events for the cited work

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

Observation a67d77a9-ac3b-4bf7-97bd-c2fa53e9f10b · outbound

This paper cites Thielecke, Continuation semantics and self-adjointness , Electronic Notes in Theo- retical Computer Science 6 (1997), 348–364.

Premonoidal and Kleisli double categories Thielecke, Continuation semantics and self-adjointness , Electronic Notes in Theo- retical Computer Science 6 (1997), 348–364

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.835440Z

Source-reported events for the cited work

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

Observation 3724e557-6d0c-48d0-b80d-3bd4a66a97d7 · outbound

This paper cites Uustalu, V.

Premonoidal and Kleisli double categories Uustalu, V

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T05:58:58.773132Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.