Skip to content
Longterm Wiki

ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI

grantFailed source check

Metadata

Source Tablegrants
Source ID94rSFA6ROw
Descriptionto Topos Institute, 2024-01
Source URLwww.aria.org.uk/programme-safeguarded-ai/
ParentAdvanced Research and Invention Agency (ARIA)
Children
CreatedMar 22, 2026, 4:04 PM
UpdatedMar 25, 2026, 3:13 AM
SyncedMar 22, 2026, 4:04 PM

Record Data

id94rSFA6ROw
organizationIdAdvanced Research and Invention Agency (ARIA)(organization)
granteeIdTopos Institute(organization)
orgEntityIdAdvanced Research and Invention Agency (ARIA)(organization)
orgDisplayName
granteeEntityIdTopos Institute(organization)
granteeDisplayName
nameARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI
amount
currencyGBP
period
date2024-01
status
sourcewww.aria.org.uk/programme-safeguarded-ai/
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.
programIdVpM42-Oye3
dataSourceId

Source Check Verdicts

unverifiable85% confidence

Last checked: 5/18/2026

1 → unverifiable; stale (excluded): 1 → partial

Debug info

Thing ID: 94rSFA6ROw

Source Table: grants

Source ID: 94rSFA6ROw

Parent Thing ID: sid_XqjV4mbMXQ