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 IDUffY6rjhYO
Descriptionto Topos Institute, 2024-06
Source URLwww.aria.org.uk/programme-safeguarded-ai/
ParentAdvanced Research and Invention Agency (ARIA)
Children—
CreatedMar 22, 2026, 5:09 PM
UpdatedMar 22, 2026, 6:25 PM
SyncedMar 22, 2026, 6:25 PM

Record Data

idUffY6rjhYO
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-06
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: UffY6rjhYO

Source Table: grants

Source ID: UffY6rjhYO

Parent Thing ID: sid_XqjV4mbMXQ