MonoidalCategories automatic generated documentation
MonoidalCategories automatic generated documentation of properties true or false The property of the category C being braided monoidal. true or false The property of the category C being closed monoidal. true or false The property of the category C being coclosed monoidal. true or false The property of the category C being monoidal. true or false The property of the category C being strict monoidal. true or false The property of the category C being rigid symmetric closed monoidal. true or false The property of the category C being rigid symmetric coclosed monoidal. true or false The property of the category C being symmetric closed monoidal. true or false The property of the category C being symmetric coclosed monoidal. true or false The property of the category C being symmetric monoidal.