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
- June 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 · 6/15/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
Case № UffY6rjhYOFiled 9/21/2026Confidence 85%