th_sym_multicategory

catlog::stdlib::theories

Function th_sym_multicategory 

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

The theory of a symmetric multicategory.