Paper Citation Record · LEDGER

The Relational Quotient Completion

As of 12 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 1 inbound Pith citation observation for arXiv:2412.11295.

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

pith.paper-citation-record.v1
2412.11295 v1

Coverage vector

measured 57 of 57 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T15:16:15.392205Z

measured 58 of 58 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-10T20:27:37.216535Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-10T20:27:38.005434Z

Reference resolution

57 of 57 outbound references displayed

verified exact13
verified fuzzy19
unresolved25
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2a3b37c9-2cbf-4ceb-b8a3-10ecbcac2ea8 · outbound

This paper cites Barthe, V.

The Relational Quotient Completion Barthe, V

Reference 1

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.838421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation bc6f3007-4587-423d-a6e1-49f5d0dd145c · outbound

This paper cites Hofmann, Extensional constructs in intensional type theor y, CPHC/BCS Distinguished Dissertations, Springer-Verlag London Lt d., London, 1997.

The Relational Quotient Completion Hofmann, Extensional constructs in intensional type theor y, CPHC/BCS Distinguished Dissertations, Springer-Verlag London Lt d., London, 1997

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:17.087586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d6a68dd9-ec5e-47a6-b887-c4e216196c51 · outbound

This paper cites Carboni, R.

The Relational Quotient Completion Carboni, R

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:17.070020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a286a106-8434-46e2-9608-4492c1256287 · outbound

This paper cites Carboni, E.

The Relational Quotient Completion Carboni, E

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:17.055000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b116c96f-a6f6-4f17-8b94-ffa098dbd1c7 · outbound

This paper cites Maietti, G.

The Relational Quotient Completion Maietti, G

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:14.969172Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8da95b08-b26b-494a-b4b0-3fdc18ca5dfa · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:17.041334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 49396178-a659-4293-8be2-0a42e223b396 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:17.026860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation bf057ec3-f886-4052-8659-12beebf41a75 · outbound

This paper cites Ad´ amek, Varieties of quantitative algebras and their monads , in: C.

The Relational Quotient Completion Ad´ amek, Varieties of quantitative algebras and their monads , in: C

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:14.995687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a9b61c2-7113-4f53-979e-38af6f9da32f · outbound

This paper cites Mardare, P.

The Relational Quotient Completion Mardare, P

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.000290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73bba253-8063-4a7a-ae06-43c3fc33541e · outbound

This paper cites Mardare, P.

The Relational Quotient Completion Mardare, P

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.006588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cee435a-c60e-411d-8374-4eeacaea6e36 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 11

Resolution: verified exact; raw_fallback, observed 2026-08-11T15:16:16.272350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b2d3be6b-015b-4b08-88c4-913d755da6b4 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:17.009918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation fcc31dd3-0861-4431-b9da-119497d4ec86 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:16.996040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 47934e40-f949-4295-bc34-4be94ba12589 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:16.981236Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 13d6bf3e-e133-4d1c-afa2-cfa0155aa27b · outbound

This paper cites van Oosten, Realizability: An Introduction to its Categorical Side, Vol.

The Relational Quotient Completion van Oosten, Realizability: An Introduction to its Categorical Side, Vol

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.967651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 44b6ccab-d152-438c-8bfc-2897f74655be · outbound

This paper cites Dagnino, F.

The Relational Quotient Completion Dagnino, F

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.060020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 235b8b13-339b-41f2-a9f4-a942af3c043a · outbound

This paper cites Andr´ eka, S.

The Relational Quotient Completion Andr´ eka, S

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.953102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5792fdac-67cd-49da-ad80-e929f1df14a7 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:16.941307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ea5dc836-04cc-4b69-ad30-aaf1a27819c9 · outbound

This paper cites Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (3) (1941) 73–89.

The Relational Quotient Completion Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (3) (1941) 73–89

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.098412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0bbddd0-11df-4a0a-a954-8826b9cae67b · outbound

This paper cites Givant, The calculus of relations as a foundation for mathema tics, Journal of Automated Reasoning 37 (4) (2006) 277–322.

The Relational Quotient Completion Givant, The calculus of relations as a foundation for mathema tics, Journal of Automated Reasoning 37 (4) (2006) 277–322

Reference 20

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.791812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 52afce0e-e188-47b7-b1b1-d92b279faaa5 · outbound

This paper cites Tarski, S.

The Relational Quotient Completion Tarski, S

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.929083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9fd2c3ad-474e-4956-beba-37e9dfc6557a · outbound

This paper cites Dal Lago, F.

The Relational Quotient Completion Dal Lago, F

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.135291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c5d9107-e37d-4fb2-94b8-d5da5e8374ac · outbound

This paper cites Gavazzo, Quantitative behavioural reasoning for higher-o rder ef- fectful programs: Applicative distances, in: A.

The Relational Quotient Completion Gavazzo, Quantitative behavioural reasoning for higher-o rder ef- fectful programs: Applicative distances, in: A

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.146461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e178a28-3e92-4897-b294-6a2bbfaca416 · outbound

This paper cites Gavazzo, C.

The Relational Quotient Completion Gavazzo, C

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.917507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 14e7da27-7eb9-4793-bb22-fd06f87c2184 · outbound

This paper cites Lack, A 2-Categories Companion, Springer New York, New Yo rk, NY, 2010, pp.

The Relational Quotient Completion Lack, A 2-Categories Companion, Springer New York, New Yo rk, NY, 2010, pp

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.160790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87a8be7d-7a23-417e-99e4-b932ce2072b4 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.744723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9ed3057a-281d-4fb0-91ac-2ad82239119f · outbound

This paper cites Betti, J.

The Relational Quotient Completion Betti, J

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.905970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7a8f0626-dff4-48f6-b8d1-27d81230bfc1 · outbound

This paper cites Blackwell, G.

The Relational Quotient Completion Blackwell, G

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.181924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4db2241-03f4-43bf-8f7c-470552c35744 · outbound

This paper cites Kock, Monads for which structures are adjoint to units, Journal of Pure and Applied Algebra 104 (1995) 41–59.

The Relational Quotient Completion Kock, Monads for which structures are adjoint to units, Journal of Pure and Applied Algebra 104 (1995) 41–59

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.189509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 570f16a3-9947-4b9c-94c6-d880bb11e6b0 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:16.892555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 50fe85a7-241f-4390-9abe-4888a4c84ad5 · outbound

This paper cites Street, The formal theory of monads, Journal of Pure an d Applied Algebra 2 (2) (1972) 149 – 168.

The Relational Quotient Completion Street, The formal theory of monads, Journal of Pure an d Applied Algebra 2 (2) (1972) 149 – 168

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.199854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 061fe583-b296-4b6a-a3d8-62d9be949f25 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:16.874956Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 432e9b6c-ab50-4206-ab67-142d85df7515 · outbound

This paper cites Lambek, Diagram chasing in ordered categories with involu- tion, Journal of Pure and Applied Algebra 143 (1) (1999) 293–307.

The Relational Quotient Completion Lambek, Diagram chasing in ordered categories with involu- tion, Journal of Pure and Applied Algebra 143 (1) (1999) 293–307

Reference 33

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.668488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 228ebca1-17cf-4cc2-8352-c17d1cebe110 · outbound

This paper cites Dagnino, F.

The Relational Quotient Completion Dagnino, F

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.222307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0f208dc-62d4-4d83-9576-6ced38cc801a · outbound

This paper cites Shulman, Framed bicategories and monoidal ﬁbrations, Theo ry and Applications of Categories 20 (18) (2008) 650–738.

The Relational Quotient Completion Shulman, Framed bicategories and monoidal ﬁbrations, Theo ry and Applications of Categories 20 (18) (2008) 650–738

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.739880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 91063db7-39aa-4c39-9cbd-3b159bd69276 · outbound

This paper cites Lambert, Double categories of relations, Theory and Applica tions of Categories 38 (33) (2022) 1249–1283.

The Relational Quotient Completion Lambert, Double categories of relations, Theory and Applica tions of Categories 38 (33) (2022) 1249–1283

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.723074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ca074529-e3b2-4d40-afd5-b0aab4b4435d · outbound

This paper cites Hofmann, G.

The Relational Quotient Completion Hofmann, G

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.705941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6e92b69c-ac10-40ec-a685-23f7a99a2f30 · outbound

This paper cites Laird, G.

The Relational Quotient Completion Laird, G

Reference 38

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.622704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 891918ab-75c9-4c17-b1ba-cb38992c4437 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.259170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c20e67be-e494-451d-bf43-2442c8c7fc6d · outbound

This paper cites Barr, Relational algebras, in: S.

The Relational Quotient Completion Barr, Relational algebras, in: S

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.691332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5d0d9242-a680-4889-ae1d-f243d9a5b879 · outbound

This paper cites Thijs, Simulations and ﬁxpoint semantics, Ph.D.

The Relational Quotient Completion Thijs, Simulations and ﬁxpoint semantics, Ph.D

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.672711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 40e99e2c-606c-441b-938e-09184dd50178 · outbound

This paper cites Scott, A new category? Domains, spaces and equivalence re lations, available at http://www.cs.cmu.edu/Groups/LTC/ (1996).

The Relational Quotient Completion Scott, A new category? Domains, spaces and equivalence re lations, available at http://www.cs.cmu.edu/Groups/LTC/ (1996)

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.655405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0400fc2e-42b0-4da5-92e5-523965ff22ac · outbound

This paper cites Bishop, Foundations of Constructive Analysis, McGraw-Hill s eries in higher mathematics, McGraw-Hill, 1967.

The Relational Quotient Completion Bishop, Foundations of Constructive Analysis, McGraw-Hill s eries in higher mathematics, McGraw-Hill, 1967

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.639020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0ea33bc8-b002-4386-9a3b-4fb8ccd55c94 · outbound

This paper cites Bishop, D.

The Relational Quotient Completion Bishop, D

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.619247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6bd0ea8b-2298-40be-9010-e86e240de76e · outbound

This paper cites Quasitoposes as elementary quotient completions.

The Relational Quotient Completion Quasitoposes as elementary quotient completions

Reference 45

Resolution: verified exact; local_arxiv, observed 2026-08-11T15:16:15.903675Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6ba956e7-39d0-4834-a625-975b5ca97280 · outbound

This paper cites Cauchy-completions and the rule of unique choice in relational doctrines.

The Relational Quotient Completion Cauchy-completions and the rule of unique choice in relational doctrines

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.316401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a733d102-ce26-4418-8dfd-e1bfb8a13454 · outbound

This paper cites Dagnino, G.

The Relational Quotient Completion Dagnino, G

Reference 47

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.555187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 214ba44b-e80a-4a6c-9904-984854d04ff5 · outbound

This paper cites Carboni, R.

The Relational Quotient Completion Carboni, R

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.602803Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e2927f89-9d69-4fe5-b838-85c7b9671a45 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-11T15:16:16.584810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 420db85b-9ee1-40a1-9475-b90790563556 · outbound

This paper cites Bonchi, A.

The Relational Quotient Completion Bonchi, A

Reference 50

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.532936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8eb1d28b-5670-47d5-9cfd-abe6e285a7c8 · outbound

This paper cites Biased elementary doctrines and quotient completions.

The Relational Quotient Completion Biased elementary doctrines and quotient completions

Reference 51

Resolution: verified exact; local_arxiv, observed 2026-08-11T15:16:15.867806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 855a0c17-fef0-4399-90d8-d3ccafa87dcf · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 52

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.509099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f3773563-024d-4ab9-96f1-93e592e0e18d · outbound

This paper cites Maietti, G.

The Relational Quotient Completion Maietti, G

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.559455Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation acf474ba-6c00-4fc3-a29d-8bb29c396336 · outbound

This paper cites Frey, Triposes, q-toposes and toposes, Annals of Pure and Applied Logic 166 (2) (2015) 232–259.

The Relational Quotient Completion Frey, Triposes, q-toposes and toposes, Annals of Pure and Applied Logic 166 (2) (2015) 232–259

Reference 54

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.488504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 708f817a-9e6a-48c3-b186-b7feb69f0a73 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 55

Resolution: verified exact; doi, observed 2026-08-11T15:16:15.469258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 415c35e6-88ff-485c-975d-8b2fd83e1118 · outbound

This paper cites Cruttwell, M.

The Relational Quotient Completion Cruttwell, M

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:16:16.541216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 32a4f914-298a-4e19-9b2e-26a8a978f372 · outbound

This paper cites an unresolved cited work.

The Relational Quotient Completion Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-11T15:16:15.392205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 24d59615-cec4-429c-b711-b1b20fc28835 · inbound

Logical Aspects of Virtual Double Categories cites this paper.

Logical Aspects of Virtual Double Categories The Relational Quotient Completion

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-10T20:27:38.010206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.