"category theory" in German category theory Kategorientheorie Detailed translations for "category theory" category theory category theory die Kategorientheorie{feminine}