Let $\mathfrak{g}$ be a simple lie algebra over $\mathbb{C}$. Let $Rep(\mathfrak{g})$ denote the category of finite dimensional $\mathfrak{g}$-modules. For every $V \in Rep(\mathfrak{g})$ define $Rep\_V(\mathfrak{g}) \subset Rep(\mathfrak{g})$ to be the smallest symmetric monoidal, idempotent complete, abelian subcategory with duals (so, closed under tensor products, retracts, direct sums and duals) which contains $V$.



> 
> **Question:** Does there always exist an irreducible $V$ for which $Rep\_V(\mathfrak{g}) \cong Rep(\mathfrak{g})$? When it exists, is there
>  a unique minimal one (in terms of the order on the weights) such $V$ (up to dualizing)? If not is there a unique self-dual such representation? If it doesn't exist, what is the minimal dimensional $V$
>  (possibly reducible) which satisfies this condition? Is it unique in some sense?
> 
> 
> 


I'm interested in the question for all $\mathfrak{g}$ of type $A,B,C$ and $D$ (the exceptionals are a luxury). I think the standard representation $V$ in the case of type $A$ generates the entire category in this sense so that the answer is positive for this case but i'm not sure about any of the other cases.



Generating Irreducible representations of a simple lie algebra with Schur functors
You can replace "simple Lie algebra over $\mathbb{C}$" with "simply connected, simple compact Lie group" and the category of representations will be equivalent as a tensor category.


It's a standard result that a representation of a compact group with finite center is a tensor generator if and only if it is faithful, and at least for a simple Lie group, such an irrep is faithful if and only its highest weight generates the weight lattice modulo the root lattice. In particular, one exists if and only if the center is cyclic. There is a unique minuscule fundamental irrep for each nontrivial coset mod the root lattice, which will be a generator if that coset generates the quotient. 


* In $A\_n$, this means $\bigwedge{}^m\mathbb{C}^n$ for $m$ and $n$ relatively prime.
* In $B\_n$, the Spin group has center $C\_2$, so the spin representation is the unique minimal tensor generator.
* In $C\_n$, the symplectic group has center $C\_2$, so the vector representation is the unique minimal tensor generator.
* In $D\_{2n+1}$, the center is $C\_4$, so either of the two spin representations is a minimal generator.


The only case where the cyclic property fails is $D\_{2n}$, where the weight lattice mod the root lattice is the Klein 4-group. There are 3 minuscule fundamentals (given by the vector rep and the two spin reps) but none is a tensor generator.


