18D35 - Category theory; homological algebra :: Categories with structure :: Structured objects in a category