Ideals of Tambara functors

For a finite group GG, a Tambara functor on GG is regarded as a GG-bivariant analog of a commutative ring. In this article, we consider a GG-bivariant analog of the ideal theory for Tambara functors.