Triple

T6834094
Position Surface form Disambiguated ID Type / Status
Subject Peter Freyd E157406 entity
Predicate notableWork P4 FINISHED
Object Freyd–Mitchell embedding theorem
The Freyd–Mitchell embedding theorem is a fundamental result in category theory stating that every small abelian category can be faithfully represented as a full subcategory of a module category, thereby allowing the use of element-wise methods in abstract settings.
 E621113 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69c6882c53608190b99aebef079b23bd elicitation completed
NER batch_69c6d67936288190829fedc3729aadd8 ner completed
NED1 batch_69c723fd50c88190af005fd58ca0aee6 ned_source_triple completed
NED2 batch_69c7253b94f081909e7cee870a12af6b ned_description completed
NEDg batch_69c7247806808190ac60c134cec612c8 nedg completed
Created at: March 27, 2026, 2:18 p.m.