en categorification (n)
― HasContext ⟶
Weight: 1.0
en category theory Source: English Wiktionary