th_monoidal_category

catlog::stdlib::theories

Function th_monoidal_category 

Source 
pub fn th_monoidal_category() -> ModalDblTheory<Unital>
Expand description

The theory of strict monoidal categories.