Higher dimensional categories: induction on extensivity
scientific article; zbMATH DE number 7517278
scientific article