Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T09:25:58.212675Z
Paper Citation Record · LEDGER
Synthetic perspectives on spaces and categories
As of 10 August 2026, this Paper Citation Record lists 69 of 69 outbound references and 1 inbound Pith citation observation for arXiv:2510.15795.
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-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-04T01:26:37.719299Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
69 of 69 outbound references displayed
- verified exact11
- verified fuzzy0
- unresolved58
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation fe0ed7de-951b-4b09-a27c-cf8c162111ff · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:54.083923Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b390fbbc-2c69-4ee4-94f4-cadf9d828c35 · outbound
This paper cites Altenkirch, Y.
Synthetic perspectives on spaces and categories Altenkirch, Y
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:28.639584Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ad6120f8-edfa-4bf3-a816-2d6c0377acf6 · outbound
This paper cites Antol\'in Camarena , A whirlwind tour of the world of ( ,1) -categories , in Mexican mathematicians abroad: recent contributions, vol.
Synthetic perspectives on spaces and categories Antol\'in Camarena , A whirlwind tour of the world of ( ,1) -categories , in Mexican mathematicians abroad: recent contributions, vol
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:28.510595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation cf671fea-a9cf-4beb-81bf-4e8f3ff39402 · outbound
This paper cites The equivariant model structure on cartesian cubical sets.
Synthetic perspectives on spaces and categories The equivariant model structure on cartesian cubical sets
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:54.510136Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e25f56e7-e5ed-48e1-a4c0-28dfa446f03d · outbound
This paper cites Awodey and M.
Synthetic perspectives on spaces and categories Awodey and M
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:54.665289Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f3c51a6-5faf-46ff-9544-1c32e310b87c · outbound
This paper cites Bardomiano Mart\' i nez , Limits and colimits of synthetic -categories , 2024, https://arxiv.org/abs/2202.12386.
Synthetic perspectives on spaces and categories Bardomiano Mart\' i nez , Limits and colimits of synthetic -categories , 2024, https://arxiv.org/abs/2202.12386
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:54.813772Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 699260ad-a1bc-4df0-a398-e9461a9bea5b · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:54.925481Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ef987595-9146-46c1-a1a6-d4126a405ee0 · outbound
This paper cites Bezem, U.
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:55.035256Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a682ba0-84d4-4ff7-9d72-c266361819c9 · outbound
This paper cites Blechschmidt , Using the internal language of toposes in algebraic geometry , PhD thesis, Universit\" a t Augsberg, 2017.
Synthetic perspectives on spaces and categories Blechschmidt , Using the internal language of toposes in algebraic geometry , PhD thesis, Universit\" a t Augsberg, 2017
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:55.159057Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ffc358b-2171-4227-866a-c15a67b8fe60 · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:28.385670Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 27ff3e30-b6b9-4090-8f48-97b32f5db0c5 · outbound
This paper cites Brunerie , The J ames construction and _4( S ^3) in homotopy type theory , J.
Synthetic perspectives on spaces and categories Brunerie , The J ames construction and _4( S ^3) in homotopy type theory , J
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:28.257239Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation c3ed8df8-a3e2-4f32-88d3-1cd3c9e4e57e · outbound
This paper cites Buchholtz, J.
Synthetic perspectives on spaces and categories Buchholtz, J
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:55.602480Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 59535581-4e76-4ea8-bed9-a9e3a39e7bc6 · outbound
This paper cites Buchholtz, F.
Synthetic perspectives on spaces and categories Buchholtz, F
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:55.779843Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 758989a9-badd-4b47-94e3-c51c61b66faf · outbound
This paper cites Buchholtz and J.
Synthetic perspectives on spaces and categories Buchholtz and J
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:55.880696Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6650d5b7-9174-4699-bd5b-d8c2cc6e1148 · outbound
This paper cites Cavallo, A.
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:28.029444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation bbe76f16-8254-4589-b139-95a09ed3d6ff · outbound
This paper cites Cavallo, E.
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:56.175032Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36dae8d6-1990-4d8f-96db-551881622828 · outbound
This paper cites Cavallo and C.
Synthetic perspectives on spaces and categories Cavallo and C
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:56.350967Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb3d97b7-d511-4a96-abef-09d3d92cb0de · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:56.461358Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a1406d08-5515-4c6a-88e3-94f56b0ec7d8 · outbound
This paper cites Cherubini, T.
Synthetic perspectives on spaces and categories Cherubini, T
Reference 20
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:27.879109Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 14f972fc-5e7b-457a-ad7b-7e71e315dc9f · outbound
This paper cites Cherubini, T.
Synthetic perspectives on spaces and categories Cherubini, T
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:56.635167Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b8ad781-befc-4df0-8daf-b8bc5728ebeb · outbound
This paper cites Cisinski , Higher categories and homotopical algebra , vol.
Synthetic perspectives on spaces and categories Cisinski , Higher categories and homotopical algebra , vol
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:56.733492Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5577fa9b-fc46-4b25-82ac-279d7cd27976 · outbound
This paper cites Cisinski, B.
Synthetic perspectives on spaces and categories Cisinski, B
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:56.883551Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 41a8c321-7e36-4ebc-afd1-ff24848c2f2c · outbound
This paper cites The universal coCartesian fibration.
Synthetic perspectives on spaces and categories The universal coCartesian fibration
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.059857Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9da4c518-9b87-4bb1-84c1-ffea1fbec991 · outbound
This paper cites Clausen and P.
Synthetic perspectives on spaces and categories Clausen and P
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.208673Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5f3f8f8-2e2a-44b6-97f9-512862a6e334 · outbound
This paper cites Coquand and N.
Synthetic perspectives on spaces and categories Coquand and N
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.336158Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c6b11004-4457-401a-ac06-acbb2e848644 · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.388669Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20ff17fb-dd1c-4a7d-9be3-af1cc8d94ca7 · outbound
This paper cites Eilenberg and J.
Synthetic perspectives on spaces and categories Eilenberg and J
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:27.775915Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation a8ac5263-68a4-4a81-b907-549e81a6d1fd · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.552466Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7bc9c7c8-8a3f-4657-82e3-db5df3c6406a · outbound
This paper cites Gabriel and M.
Synthetic perspectives on spaces and categories Gabriel and M
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.709205Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5e18a6f6-0a3a-4b56-95c5-8cbd2f8949e7 · outbound
This paper cites Gambino and R.
Synthetic perspectives on spaces and categories Gambino and R
Reference 31
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:27.623228Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 84c7caa7-3a0b-4ec2-9523-20d4ac404f45 · outbound
This paper cites Gambino and C.
Synthetic perspectives on spaces and categories Gambino and C
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.952104Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20387b54-e685-4819-ab36-17ebd5ae861a · outbound
This paper cites Gratzer, J.
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.977716Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55aa1f47-97b6-4d97-9d59-34e6a49aabbd · outbound
This paper cites Gratzer, J.
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.991927Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 91ffe1ab-209c-4838-9175-66f9f8f30b35 · outbound
This paper cites Grothendieck , Sur quelques points d'alg\`ebre homologique , Tohoku Math.
Synthetic perspectives on spaces and categories Grothendieck , Sur quelques points d'alg\`ebre homologique , Tohoku Math
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:57.997423Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc34ad57-922b-40be-b57b-cb3debe10bda · outbound
This paper cites Grothendieck , Pursuing stacks (\`a la poursuite des champs).
Synthetic perspectives on spaces and categories Grothendieck , Pursuing stacks (\`a la poursuite des champs)
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.004017Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 534c9e56-ad6a-4980-b8cb-bee5d6f8e3c9 · outbound
This paper cites Joyal , Quasi-categories and K an complexes , vol.
Synthetic perspectives on spaces and categories Joyal , Quasi-categories and K an complexes , vol
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.008900Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 446e5261-45b6-47de-a9c2-8c03d8064897 · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 38
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:27.515070Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 27478818-8b80-4b05-ac4d-67c4ad4303b2 · outbound
This paper cites Kapulkin and P.
Synthetic perspectives on spaces and categories Kapulkin and P
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.020234Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 811ec912-5b42-40d1-bcbb-cd431719c9a2 · outbound
This paper cites Kazhdan and Y.
Synthetic perspectives on spaces and categories Kazhdan and Y
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.026814Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 831d48d0-e4ed-434c-b85b-f51b1bb72162 · outbound
This paper cites Kudasov , Rzk , https://github.com/rzk-lang/rzk.
Synthetic perspectives on spaces and categories Kudasov , Rzk , https://github.com/rzk-lang/rzk
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.034662Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eb531d94-4643-479a-a1fa-2817c8cd9286 · outbound
This paper cites Kudasov, E.
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.039445Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 458ecbdf-fd9f-4b44-9219-563f9c602264 · outbound
This paper cites om and A. M\.
Synthetic perspectives on spaces and categories om and A. M\
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.044722Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1a5c79e7-4c7e-4fcc-9672-dcc7e988e8bb · outbound
This paper cites Lurie , Higher topos theory , vol.
Synthetic perspectives on spaces and categories Lurie , Higher topos theory , vol
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.050891Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ef6f2252-b14d-4cc7-bfae-09c9491f504b · outbound
This paper cites Mac Lane and I.
Synthetic perspectives on spaces and categories Mac Lane and I
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.056021Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5fbb076a-b244-4125-873e-7fb67a206f12 · outbound
This paper cites Makkai , First order logic with dependent sorts, with applications to category theory.
Synthetic perspectives on spaces and categories Makkai , First order logic with dependent sorts, with applications to category theory
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.061649Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6cc34258-7cba-4f57-b55d-fafcfb69bbb8 · outbound
This paper cites Yoneda's lemma for internal higher categories.
Synthetic perspectives on spaces and categories Yoneda's lemma for internal higher categories
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.066394Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4bdd77e2-044c-46d6-9b56-df6cf1c748b6 · outbound
This paper cites Martini and S.
Synthetic perspectives on spaces and categories Martini and S
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.073659Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cd130a59-2154-4821-9fd5-7fb594f2bae7 · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.079142Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1572778c-ea06-47a0-9f1c-50c6a90d55cc · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.084468Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f746ad08-9f42-410b-bb5b-41dc9ad46afb · outbound
This paper cites Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?.
Synthetic perspectives on spaces and categories Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.092218Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d91c936-c935-47cf-a3b4-38a704632b65 · outbound
This paper cites Rezk , Toposes and homotopy toposes.
Synthetic perspectives on spaces and categories Rezk , Toposes and homotopy toposes
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.098862Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ffa9361a-4a57-4f75-aa4b-bc12783eda5e · outbound
This paper cites Riehl , Could -category theory be taught to undergraduates? , Notices Amer.
Synthetic perspectives on spaces and categories Riehl , Could -category theory be taught to undergraduates? , Notices Amer
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.104525Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e07e218a-83bf-4eae-95af-3a591fc68038 · outbound
This paper cites Riehl , On the -topos semantics of homotopy type theory , Bull.
Synthetic perspectives on spaces and categories Riehl , On the -topos semantics of homotopy type theory , Bull
Reference 54
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:27.340938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation eb87a23a-20e4-4d8d-8ea9-1943ce3d632c · outbound
This paper cites Riehl and M.
Synthetic perspectives on spaces and categories Riehl and M
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.115800Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36791e0f-a0f4-489d-b488-fff4d4d268cf · outbound
This paper cites Riehl and D.
Synthetic perspectives on spaces and categories Riehl and D
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.122860Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 199f6888-64d5-4726-83aa-7c56aa180637 · outbound
This paper cites Riehl and D.
Synthetic perspectives on spaces and categories Riehl and D
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.130323Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7e4e882d-8dbe-4b71-936f-bff59ddc1246 · outbound
This paper cites Introduction to Homotopy Type Theory.
Synthetic perspectives on spaces and categories Introduction to Homotopy Type Theory
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.136473Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 739fc408-bf70-42f4-8a11-2914c7f187b6 · outbound
This paper cites Shulman , The univalence axiom for elegant R eedy presheaves , Homology Homotopy Appl., 17 (2015), pp.
Synthetic perspectives on spaces and categories Shulman , The univalence axiom for elegant R eedy presheaves , Homology Homotopy Appl., 17 (2015), pp
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.144161Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 66860147-2a5b-4ffd-ad80-b1cc8b1371a7 · outbound
This paper cites Shulman , Homotopy type theory: a synthetic approach to higher equalities , in Categories for the working philosopher, Oxford Univ.
Synthetic perspectives on spaces and categories Shulman , Homotopy type theory: a synthetic approach to higher equalities , in Categories for the working philosopher, Oxford Univ
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.151429Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4451349d-b56b-4e3a-8892-c1af80674247 · outbound
This paper cites All $(\infty,1)$-toposes have strict univalent universes.
Synthetic perspectives on spaces and categories All $(\infty,1)$-toposes have strict univalent universes
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.156735Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5bc15a82-6d62-44f7-ad7f-394ea0f61aa0 · outbound
This paper cites Shulman , Strange new universes: proof assistants and synthetic foundations , Bull.
Synthetic perspectives on spaces and categories Shulman , Strange new universes: proof assistants and synthetic foundations , Bull
Reference 62
- Resolution
- verified exact
- doi, observed 2026-08-04T09:28:27.181129Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 847e6384-1b28-43df-85c3-e3d9645be7c2 · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.170369Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9eb0b46-eb79-4a91-bff0-567bc0e4b147 · outbound
This paper cites Stenzel , On univalence, Rezk completeness, and presentable quasi-categories , PhD thesis, University of Leeds, 2019.
Synthetic perspectives on spaces and categories Stenzel , On univalence, Rezk completeness, and presentable quasi-categories , PhD thesis, University of Leeds, 2019
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.176647Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ccef6cfa-655f-4d57-a508-f4c9d63bf91f · outbound
This paper cites Street , Fibrations in bicategories , Cahiers Topologie G\'eom.
Synthetic perspectives on spaces and categories Street , Fibrations in bicategories , Cahiers Topologie G\'eom
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.183974Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ee8fdd5f-6e11-4072-b21e-91dc14ffc433 · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.189325Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9fda7f6e-ab6f-4e14-969d-4a62e1c144a1 · outbound
This paper cites Verdier , Des cat\'egories d\'eriv\'ees des cat\'egories ab\'eliennes , Ast\'erisque, (1996), pp.
Synthetic perspectives on spaces and categories Verdier , Des cat\'egories d\'eriv\'ees des cat\'egories ab\'eliennes , Ast\'erisque, (1996), pp
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.194033Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3acfe23-c6c8-4b8b-89f1-632626806715 · outbound
This paper cites an unresolved cited work.
Synthetic perspectives on spaces and categories Unresolved cited work
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.200335Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f644937-bc91-436c-a8f5-6173f9fb170b · outbound
This paper cites Strict stability of extension types.
Synthetic perspectives on spaces and categories Strict stability of extension types
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.205213Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bca75930-4ac9-449a-940c-2a3a04ccf549 · outbound
This paper cites Weinberger , Two-sided cartesian fibrations of synthetic ( ,1) -categories , J.
Synthetic perspectives on spaces and categories Weinberger , Two-sided cartesian fibrations of synthetic ( ,1) -categories , J
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T09:25:58.212675Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation f66193fe-90da-4cf8-a0ce-46fd3234abe9 · inbound
Internal Algebraic Type Theory cites this paper.
Internal Algebraic Type Theory Synthetic perspectives on spaces and categories
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T01:26:37.719299Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.