 There are also far-reaching generalisations in category theory.They show how to construct "fibred categories" from "indexed categories".This is an abstract form of the outer semidirect product construction.