th_multicategory

catlog::stdlib::theories

Function th_multicategory 

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

The theory of a (non-symmetric) multicategory.