The title says it all : assuming all L-functions are objects of a symmetric bimonoidal category $ (\mathcal{C},\oplus,\otimes,s\mapsto 1,s\mapsto\zeta) $$ (\mathcal{C},\oplus,\otimes,s\mapsto 1,\zeta) $ , where $ \oplus $ stands for the usual product, what can we prove about L-functions from general theorems about symmetric bimonoidal categories that turns out to have analytic or number theoretic interest ? I know some people here might get angry to see me ask this question but still, it may be insightful.