Index
Grant: ARIA TA1.1: Philosophical Applied Category Theory (Advanced Research and Invention Agency (ARIA) → David Corfield (Independent))
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Name
- ARIA TA1.1: Philosophical Applied Category Theory
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] Philosophical Applied Category Theory. Lead(s): David Corfield. Institutions: Independent Researcher. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- Grantee
- David Corfield (Independent)
- Focus Area
- TA1.1
- Name
- Philosophical Applied Category Theory
- Description
- Independent Researcher
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and discusses expanding TA1's scope, it does not provide information about specific TA1 projects, their names, dates, or individual grantees. The source is a high-level programme overview that does not list individual grants or recipients. The record cannot be verified or contradicted based on the provided source text.
Case № kXYqpl-mmvFiled 4/13/2026Confidence 95%