This article is about higher-dimensional algebra and supercategories in generalized category theory, super-category theory, and also its extensions in nonabelian algebraic topology and metamathematics.

Supercategories were first introduced in 1970, and were subsequently developed for applications in theoretical physics (especially quantum field theory and topological quantum field theory) and mathematical biology or mathematical biophysics.