simplicial model for weak omega-categories
stratified simplicial set
complicial set
Verity on descent for strict omega-groupoid valued presheaves