History

for article: Dagger symmetric monoidal category