Definition, synonyms and related words
Being a particular kind of monoidal category equipped with some extra structure relative to a given field.