Paper Citation Record · LEDGER

Controlled theories, categorification, and homotopification

As of 11 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 1 inbound Pith citation observation for arXiv:2607.24716.

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

pith.paper-citation-record.v1
2607.24716 v2

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T04:09:11.327857Z

measured 28 of 28 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-07-31T04:14:50.913896Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

27 of 27 outbound references displayed

verified exact0
verified fuzzy0
unresolved27
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 82f987d2-7e46-470a-9571-e3e5f4b99cff · outbound

This paper cites Ad´ amek and J.

Controlled theories, categorification, and homotopification Ad´ amek and J

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:08.816689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c89e56d-1287-41d1-a9e2-f637444979fd · outbound

This paper cites CONTROLLED THEORIES, CATEGORIFICATION, AND HOMOTOPIFICATION53 [May, 1972] J.

Controlled theories, categorification, and homotopification CONTROLLED THEORIES, CATEGORIFICATION, AND HOMOTOPIFICATION53 [May, 1972] J

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.847468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a0e87cb-1818-484d-b029-542b1784cc40 · outbound

This paper cites Joyal,The Theory of Quasi-Categories and Its Applications.

Controlled theories, categorification, and homotopification Joyal,The Theory of Quasi-Categories and Its Applications

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.281003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 916ecf2e-2302-4018-b138-0415e8b4aff8 · outbound

This paper cites [Joyal, Street, and Verity, 1996] A.

Controlled theories, categorification, and homotopification [Joyal, Street, and Verity, 1996] A

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.392138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 803cfda6-4bcb-4e4d-b597-654b0587cd80 · outbound

This paper cites Mac Lane,Natural Associativity and Commutativity.

Controlled theories, categorification, and homotopification Mac Lane,Natural Associativity and Commutativity

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.756635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86cf5d9b-acd2-41b1-9fa0-de8d3443bbb5 · outbound

This paper cites Enriched pro-categories and shapes.

Controlled theories, categorification, and homotopification Enriched pro-categories and shapes

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:11.145697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fa93cd6-aacf-494b-aa02-19c7dd928c06 · outbound

This paper cites Coherence, Homotopy and 2-Theories.

Controlled theories, categorification, and homotopification Coherence, Homotopy and 2-Theories

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:11.243470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8bf308c-be7e-40d5-b7cb-04c360ea43d0 · outbound

This paper cites Gurski, N.

Controlled theories, categorification, and homotopification Gurski, N

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.854384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ebb45b3-e975-4c3c-ac31-05674019cf61 · outbound

This paper cites Riehl and D.

Controlled theories, categorification, and homotopification Riehl and D

Reference 1967

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:11.089805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b38f720-e8b4-4c3a-b5ac-ad1ce4f350dd · outbound

This paper cites an unresolved cited work.

Controlled theories, categorification, and homotopification Unresolved cited work

Reference 1972

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.898972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 057feded-52dc-451d-b87a-c8a02a8192ad · outbound

This paper cites an unresolved cited work.

Controlled theories, categorification, and homotopification Unresolved cited work

Reference 1982

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.530349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb90131d-563c-4c30-a27f-d3a215084951 · outbound

This paper cites The $\omega$-categorification of Algebraic Theories.

Controlled theories, categorification, and homotopification The $\omega$-categorification of Algebraic Theories

Reference 1994

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:08.887533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d804f98c-d221-4a33-beca-e5af603fadf3 · outbound

This paper cites an unresolved cited work.

Controlled theories, categorification, and homotopification Unresolved cited work

Reference 1997

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.274625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 858e6735-6326-40cd-bff9-4718e864d75f · outbound

This paper cites Johnson and A.

Controlled theories, categorification, and homotopification Johnson and A

Reference 1998

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.104065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea5c7c1f-22f1-4db3-a9a7-0cfe85f772b3 · outbound

This paper cites an unresolved cited work.

Controlled theories, categorification, and homotopification Unresolved cited work

Reference 1999

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.455515Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ebb180c-5bb2-4cdc-9204-2bd68573bcbb · outbound

This paper cites Yau,Colored Operads.

Controlled theories, categorification, and homotopification Yau,Colored Operads

Reference 2000

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:11.327857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5ae29ea-1c8c-44a0-8a1d-801afb56bc33 · outbound

This paper cites Monoidal model categories.

Controlled theories, categorification, and homotopification Monoidal model categories

Reference 2003

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.956299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c532c606-46e9-4c40-acad-43e31f983bdc · outbound

This paper cites Lurie,Higher Topos Theory.

Controlled theories, categorification, and homotopification Lurie,Higher Topos Theory

Reference 2004

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.696989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e3993b0-a93f-492a-a7ad-e032c9fe4e69 · outbound

This paper cites an unresolved cited work.

Controlled theories, categorification, and homotopification Unresolved cited work

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.640850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94798c8d-d3ec-4e44-bc00-1e3ccab4d6a9 · outbound

This paper cites Dugger,Coherence for invertible objects and multigraded homotopy rings.

Controlled theories, categorification, and homotopification Dugger,Coherence for invertible objects and multigraded homotopy rings

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.156397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b76b67ec-91f6-4f44-be64-fdf0dbbedc1d · outbound

This paper cites an unresolved cited work.

Controlled theories, categorification, and homotopification Unresolved cited work

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.631798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37194fb8-74ea-44c4-98b9-3110181a5c5e · outbound

This paper cites an unresolved cited work.

Controlled theories, categorification, and homotopification Unresolved cited work

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.361255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2379551a-8d67-4c89-a49c-23b039ef1e25 · outbound

This paper cites Coherence for rewriting 2-theories.

Controlled theories, categorification, and homotopification Coherence for rewriting 2-theories

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.027284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b39017ab-d03f-408e-b6b4-c64e78db6061 · outbound

This paper cites Gurski and N.

Controlled theories, categorification, and homotopification Gurski and N

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:09.757785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 998aa1a3-4e49-4fb8-aad2-60bcbfb6edce · outbound

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

Controlled theories, categorification, and homotopification 2-dimensional Lawvere theories, commutativity, and higher Day convolution

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:11.003161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0fe0ad3-e902-48ff-960d-b50399a6475b · outbound

This paper cites Patterson,Unbiased monoidal categories are pseudo-elements.

Controlled theories, categorification, and homotopification Patterson,Unbiased monoidal categories are pseudo-elements

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:10.951415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8094d60d-9f05-40da-b605-9b84b114c1ad · outbound

This paper cites Power,Enriched Lawvere theories.

Controlled theories, categorification, and homotopification Power,Enriched Lawvere theories

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-04T04:09:11.045742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 9d785f5f-ec95-44db-82ce-fa0ec6511bcf · inbound

Algebraic coherators, controlled theories, and Grothendieck realizations cites this paper.

Algebraic coherators, controlled theories, and Grothendieck realizations Controlled theories, categorification, and homotopification

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-31T04:14:50.913896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.