Vertical categorification

This page is currently under construction. Consider everything here tentative until this warning is removed.

Roughly speaking, vertical categorification is a procedure in which structures are generalized from the context of set theory to category theory, or from category theory to higher category theory.