范畴 fànchóu HSK7 category Definitions Defs Origin Strokes Stroke Words Sentences Sents 范畴论 fànchóulùn category theory category theory (mathematics)寻来范畴 xúnláifànchóu derived category (math.) derived category