18D10 - Category theory; homological algebra :: Categories with structure :: Monoidal categories , symmetric monoidal categories, braided categories