noun
category theory
Mathematics term for the branch of abstract algebra that studies categories. Often used in academic contexts.
See also: 圏論
カテゴリー論は数学の基礎的な分野の一つです。
Category theory is one of the foundational fields of mathematics.
彼はカテゴリー論を使ってプログラムの構造を分析した。
He analyzed the program's structure using category theory.