Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T15:30:56.098253Z
Paper Citation Record · LEDGER
A Model of Type Theory in Groupoid Assemblies
As of 8 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2507.16062.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
31 of 31 outbound references displayed
- verified exact8
- verified fuzzy12
- unresolved8
- parse uncertain0
- malformed identifier3
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 57238db5-39d5-4eeb-8c96-8842c70ec77a · outbound
This paper cites A cubical model of homotopy type theory.
A Model of Type Theory in Groupoid Assemblies A cubical model of homotopy type theory
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-06T15:30:57.282647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 264bc0b9-7163-4f37-8530-2b8c2546695f · outbound
This paper cites Toward the effective 2-topos.
A Model of Type Theory in Groupoid Assemblies Toward the effective 2-topos
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-06T15:30:57.111882Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6dd80894-d853-45d9-b003-cae01f8e3893 · outbound
This paper cites Homotopy theoretic models of identity types.
A Model of Type Theory in Groupoid Assemblies Homotopy theoretic models of identity types
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:30:52.965003Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 482dbab9-f992-42f2-8949-4544698fd6a2 · outbound
This paper cites Predicative topos theory and models for constructive set theory.
A Model of Type Theory in Groupoid Assemblies Predicative topos theory and models for constructive set theory
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:31:00.747491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation db6173dd-9caa-4d1f-be29-65370826c842 · outbound
This paper cites Words, free algebras, and coequalizers.
A Model of Type Theory in Groupoid Assemblies Words, free algebras, and coequalizers
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:31:00.440681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 153f00ef-ce67-49ab-8b11-b1e2c2d6f4cb · outbound
This paper cites Regular and exact completions.
A Model of Type Theory in Groupoid Assemblies Regular and exact completions
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:30:53.277555Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9d86b06-d0c3-45dc-92f2-ea21c6313304 · outbound
This paper cites Categories of partial equivalence relations as localizations.
A Model of Type Theory in Groupoid Assemblies Categories of partial equivalence relations as localizations
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:30:53.373436Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c30a2b91-21e8-4f89-9ab2-ed4781b567b9 · outbound
This paper cites Wellfounded Trees and Dependent Polynomial Functors.
A Model of Type Theory in Groupoid Assemblies Wellfounded Trees and Dependent Polynomial Functors
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:30:53.499377Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29a7c18c-8cb1-42bd-80fe-a55440b76691 · outbound
This paper cites Models of Martin-L¨ of Type Theory From Algebraic Weak Factorisation Systems.
A Model of Type Theory in Groupoid Assemblies Models of Martin-L¨ of Type Theory From Algebraic Weak Factorisation Systems
Reference 9
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T15:31:00.250510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f56f619e-a7a6-4663-abf4-6cd0995a928c · outbound
This paper cites The Frobenius condition, right properness, and uniform fi- brations.
A Model of Type Theory in Groupoid Assemblies The Frobenius condition, right properness, and uniform fi- brations
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:30:53.715631Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 91891c04-6fd3-45df-addd-89148e21da99 · outbound
This paper cites Understanding the Small Object Argument.
A Model of Type Theory in Groupoid Assemblies Understanding the Small Object Argument
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-06T15:30:56.874971Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 177950d9-1668-497f-b3c6-57b2801f15b5 · outbound
This paper cites Well-foundedness in Realizability.
A Model of Type Theory in Groupoid Assemblies Well-foundedness in Realizability
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-06T15:30:56.712148Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a6d71a58-1d00-40d7-b762-ce7089463d19 · outbound
This paper cites The groupoid interpretation of type theory.
A Model of Type Theory in Groupoid Assemblies The groupoid interpretation of type theory
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:59.966118Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation acb1b3ee-7717-4048-b2df-8529bf6265b8 · outbound
This paper cites The algebraic internal groupoid model of Martin-L\"{o}f type theory.
A Model of Type Theory in Groupoid Assemblies The algebraic internal groupoid model of Martin-L\"{o}f type theory
Reference 14
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T15:30:56.543261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a7e0d8b7-787b-4beb-8cb3-4893df37fd5d · outbound
This paper cites Notes on Clans and Tribes.
A Model of Type Theory in Groupoid Assemblies Notes on Clans and Tribes
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:30:54.480870Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d97cc258-0c64-4d04-8deb-cf3b0daf7d56 · outbound
This paper cites Realizability: a retrospective survey.
A Model of Type Theory in Groupoid Assemblies Realizability: a retrospective survey
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:59.768179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6f6c0e08-7b94-43b8-af16-834861ff01be · outbound
This paper cites A 2-Categories Companion.
A Model of Type Theory in Groupoid Assemblies A 2-Categories Companion
Reference 17
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T15:30:54.760585Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f99a0118-6187-4369-b7de-a959358f14a5 · outbound
This paper cites Basic Bicategories.
A Model of Type Theory in Groupoid Assemblies Basic Bicategories
Reference 18
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T15:30:57.672555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 672494b1-a629-47d6-86a4-8c53f86af43c · outbound
This paper cites Wellfounded trees in categories.
A Model of Type Theory in Groupoid Assemblies Wellfounded trees in categories
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-06T15:30:56.319050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 71265dc3-c2de-4e54-820a-04894e158cc5 · outbound
This paper cites Basic category theory.
A Model of Type Theory in Groupoid Assemblies Basic category theory
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:59.546669Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b08ed082-884a-469e-92ca-6917abb19920 · outbound
This paper cites Realizability: an introduction to its categorical side.
A Model of Type Theory in Groupoid Assemblies Realizability: an introduction to its categorical side
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:59.310980Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 35eaafec-8506-44c7-b705-091351cbaf39 · outbound
This paper cites Algebraic model structures.
A Model of Type Theory in Groupoid Assemblies Algebraic model structures
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:59.090706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c8c1b583-be17-4fde-ba7f-f667038f0bab · outbound
This paper cites Categorical Homotopy Theory.
A Model of Type Theory in Groupoid Assemblies Categorical Homotopy Theory
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:58.897228Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c9e0ed77-32c6-4d2b-8ba6-e626fb1011e5 · outbound
This paper cites Modalities in homotopy type theory.
A Model of Type Theory in Groupoid Assemblies Modalities in homotopy type theory
Reference 24
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T15:30:55.534139Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 85a7bab1-c95f-4114-bf26-3505327a6886 · outbound
This paper cites All $(\infty,1)$-toposes have strict univalent universes.
A Model of Type Theory in Groupoid Assemblies All $(\infty,1)$-toposes have strict univalent universes
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:30:55.630284Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0dd0754-ea59-42db-aae3-5cf7de8aa033 · outbound
This paper cites Fibrations in bicategories.
A Model of Type Theory in Groupoid Assemblies Fibrations in bicategories
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:58.559826Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7e415961-140b-41d7-8562-76158c4ba28a · outbound
This paper cites W-Types with Reductions and the Small Object Argument.
A Model of Type Theory in Groupoid Assemblies W-Types with Reductions and the Small Object Argument
Reference 27
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T15:30:57.473306Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 87482d38-0f48-4399-9a31-8b86506876b2 · outbound
This paper cites Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Proposi- tional Resizing.
A Model of Type Theory in Groupoid Assemblies Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Proposi- tional Resizing
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:30:55.836014Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff27d7df-45f2-471e-b6b7-0961148681c5 · outbound
This paper cites Polynomial functors and W-types for groupoids.
A Model of Type Theory in Groupoid Assemblies Polynomial functors and W-types for groupoids
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:58.318268Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5311a500-79cf-41c0-9f3f-e27cc6c8f4be · outbound
This paper cites The Origins and Motivations of Univalent Foundations: A Personal Mission to Develop Computer Proof Verification to Avoid Mathematical Mistakes.
A Model of Type Theory in Groupoid Assemblies The Origins and Motivations of Univalent Foundations: A Personal Mission to Develop Computer Proof Verification to Avoid Mathematical Mistakes
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:58.134693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5da1173d-3a18-482c-b87a-b1b2699fac04 · outbound
This paper cites url: https://www.ias.edu/ideas/2014/voevodsky-origins.
A Model of Type Theory in Groupoid Assemblies url: https://www.ias.edu/ideas/2014/voevodsky-origins
Reference 2014
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:30:57.945539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.