What stabs from hell's heart and subsumes most of category theory?

Khan extensions.