Paper Citation Record · LEDGER

A monoidal category of dependently sorted algebraic theories I: syntax

As of 13 August 2026, this Paper Citation Record lists 7 of 7 outbound references and 1 inbound Pith citation observation for arXiv:2511.13547.

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

pith.paper-citation-record.v1
2511.13547 v2

Coverage vector

measured 7 of 7 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T21:52:08.300529Z

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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-06-28T16:27:53.435302Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-01T21:46:15.138446Z

Reference resolution

7 of 7 outbound references displayed

verified exact0
verified fuzzy0
unresolved5
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cdfa78c4-a4f6-4ed2-ab03-58471b883761 · outbound

This paper cites Algebra valued functors in general and tensor products in particular.

A monoidal category of dependently sorted algebraic theories I: syntax Algebra valued functors in general and tensor products in particular

Reference 79

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:52:08.176046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9af9cdb9-4500-4d00-8b91-ba2b1e878bbb · outbound

This paper cites The theory and practice of Reedy categories.

A monoidal category of dependently sorted algebraic theories I: syntax The theory and practice of Reedy categories

Reference 104

Resolution: unresolved; no resolver link, observed 2026-08-03T21:52:08.300529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc17fa67-6e50-4889-8843-0008709edaa7 · outbound

This paper cites The logic of structures.

A monoidal category of dependently sorted algebraic theories I: syntax The logic of structures

Reference 189

Resolution: malformed identifier; doi_truncated, observed 2026-08-03T21:54:03.192040Z

Source-reported events for the cited work

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

Observation dfde0ab3-062b-4742-b2d6-16a75984f11a · outbound

This paper cites Algebraic models of homotopy types and the homotopy hypothesis.

A monoidal category of dependently sorted algebraic theories I: syntax Algebraic models of homotopy types and the homotopy hypothesis

Reference 221

Resolution: unresolved; no resolver link, observed 2026-08-03T21:52:08.255977Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d18768f-c984-4d36-b15c-ef1d69707a65 · outbound

This paper cites Generalised algebraic theories and contextual categories.

A monoidal category of dependently sorted algebraic theories I: syntax Generalised algebraic theories and contextual categories

Reference 1978

Resolution: unresolved; no resolver link, observed 2026-08-03T21:52:08.076961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49b941f3-17bb-4e6b-8814-7ba8160acdbf · outbound

This paper cites Multilinearity of sketches.

A monoidal category of dependently sorted algebraic theories I: syntax Multilinearity of sketches

Reference 2000

Resolution: unresolved; no resolver link, observed 2026-08-03T21:52:07.992560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25df0bc4-bf0e-47ae-bc61-2d2a0b4ffd90 · outbound

This paper cites A model 2-category of enriched combinatorial premodel categories.

A monoidal category of dependently sorted algebraic theories I: syntax A model 2-category of enriched combinatorial premodel categories

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-03T21:52:07.866978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 38f55331-779b-4a1e-bf0c-8e461882ad93 · inbound

A monoidal category of dependently sorted algebraic theories II: categorical aspects cites this paper.

A monoidal category of dependently sorted algebraic theories II: categorical aspects A monoidal category of dependently sorted algebraic theories I: syntax

Reference 13

Resolution: metadata mismatch; local_arxiv, observed 2026-07-01T21:46:15.140024Z

Source-reported events for the cited work

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