Triple

T24823102
Position Surface form Disambiguated ID Type / Status
Subject Yoneda lemma E621111 entity
Predicate instanceOf P0 FINISHED
Object result in category theory C49603 CONCEPT FINISHED

How this triple was built (1 step)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

CD Concept disambiguation gpt-5-mini-2025-08-07 
Target class: result in category theory
Context triple: [Yoneda lemma, instanceOf, result in category theory]
  • A. tool in category theory
    A tool in category theory is a conceptual or formal construct—such as functors, natural transformations, limits, or adjunctions—used to analyze, relate, and systematically reason about mathematical structures and their morphisms within the categorical framework.
  • B. result in K-theory
    A result in K-theory is a theorem or proposition describing how algebraic K-groups behave or relate to other invariants, often revealing deep structural or categorical properties of rings, schemes, or topological spaces.
  • C. result in order theory
    A result in order theory is a formally proven statement or theorem about the properties, structures, or relationships of ordered sets and order-preserving mappings.
  • D. result in model theory
    In model theory, a result is a formally proven statement—such as a theorem, lemma, or corollary—about structures, theories, or definable sets that follows from the axioms and logical rules of the framework.
  • E. result in proof theory
    In proof theory, a result is a formally derived conclusion or theorem obtained from a given set of axioms and inference rules within a logical system.
  • F. None of above. chosen

Provenance (1 batch)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69e2fabfd4648190bd0e5c7f4dbb6cab completed April 18, 2026, 3:30 a.m.
Created at: April 18, 2026, 5:05 a.m.