Index
Grant: ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI (Advanced Research and Invention Agency (ARIA) → Topos Institute)
Verdictunverifiable85%
2 checks · 1 src · 9/21/20261 → unverifiable; stale (excluded): 1 → partial
Our claim
entire record- Grantee
- Topos Institute
- Name
- ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] Double Categorical Systems Theory for Safeguarded AI. Lead(s): David Jaz Myers, Owen Lynch, Sophie Libkind, David Spivak, James Fairbanks. Institutions: Topos Research UK / University of Florida. Status: active.
Source evidence
1 src · 2 checkspartial50%deterministic-row-match · 9/21/2026
- Grantee
- Topos Research UK / University of Florida
- Focus Area
- TA1.1
- Name
- Double Categorical Systems Theory for Safeguarded AI
- Description
- Topos Research UK / University of Florida
NotePartial deterministic match: name matched but grantee did not (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile the source confirms the existence of the Safeguarded AI programme and TA1 as a technical area, it does not contain the specific grant name, the date (2024-01), or the encoded identifiers (XqjV4mbMXQ and K40O5WixNQ) mentioned in the record. The source material appears to be a programme overview page rather than a detailed grants database, so the absence of this specific grant information does not contradict the record—it simply cannot be verified from this source.
Case № 94rSFA6ROwFiled 9/21/2026Confidence 85%