Supercategories were first introduced in 1970,[REF] and were subsequently developed for applications in theoretical physics (especially quantum field theory and topological quantum field theory) and mathematical biology or mathematical biophysics [REF].
Other pathways in HDA involve: bicategories, homomorphisms of bicategories, variable categories (aka, indexed, or parametrized categories), topoi, effective descent, amnd enriched and internal categories.