History

for article: Symmetric monoidal category