Higher Category Theory is an extension of Category Theory by adding a ‘stack’ of categories in which each category has objects corresponding to arrows in the category below.

Known as n-cateogries.