Module categories with extra structure Categories in geometry and topology mathematics