淡中圏

淡中圏（たんなかけん、tannakian category）とは与えられた体Kに関係するある付加的な構造を備えた、ある種のモノイダル圏Cである。そのような圏Cの役割は、K上定義された代数群Gの線形表現の圏をおおよそ見積もることにある。