Triple

T24823209
Position Surface form Disambiguated ID Type / Status
Subject Freyd–Mitchell embedding theorem E621113 entity
Predicate allows P273 FINISHED
Object interpretation of morphisms of an abelian category as module homomorphisms LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e2fabfd4648190bd0e5c7f4dbb6cab elicitation completed
NER batch_69f42299f55081908031c6aedd7b6498 ner completed
Created at: April 18, 2026, 5:05 a.m.