Skip to content
Longterm Wiki has not been actively maintained since May 2026. Some data is still updated occasionally, but please don't rely on this site being current or accurate.
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: 9/21/2026

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

Debug info

Thing ID: 94rSFA6ROw

Source Table: grants

Source ID: 94rSFA6ROw

Parent Thing ID: sid_XqjV4mbMXQ