## [Kategorie](/de/node/60213) Definition Eine Kollektion von Objekten zusammen mit für jedes geordnete Paar von Objekten X,Y einer Menge Hom(X,Y) von Morphismen und einer assoziativen Kompositionsregel ◦ : Hom(Y,Z)×Hom(X,Y) → Hom(X,Z) sowie Identitätsmorphismen id_X für jedes Objekt, die id_Y ◦ f = f und f ◦ id_X = f erfüllen. ## Prinzip Prinzip Abstrakte Beziehungen (Morphismen) zwischen Objekten mit Komposition und Identitäten, die es erlauben, strukturelle Aussagen unabhängig von elementaren Darstellungen zu formulieren. ## Demonstration Demonstration Die Kategorie Set hat Mengen als Objekte und Abbildungen als Morphismen; Komposition ist Funktionskomposition und Identitätsmorphismen sind Identitätsabbildungen, die Assoziativität und Identitätsgesetze erfüllen. ## Fehlanwendung Fehlanwendung Beliebige Relationen oder mehrdeutige Abbildungen als Morphismen zu behandeln, ohne Komponierbarkeit und Assoziativität sicherzustellen, bricht die kategoriale Argumentation; Identitätsmorphismen zu übersehen macht viele universelle Konstruktionen ungültig. ## Konsequenz Konsequenz Kategorien liefern eine einheitliche Sprache für Konstruktionen wie Limiten, Kolimiten, Adjunkte und Funktorialität und ermöglichen Strukturtransfer zwischen Bereichen durch Funktoren und natürliche Transformationen. ## Umkehrung Umkehrung Das Umkehren der Pfeile in einer Kategorie ergibt die entgegengesetzte Kategorie, die Morphismenrichtungen invertiert und Limiten mit Kolimiten vertauscht; Richtungslose Betrachtung vernichtet wichtige Asymmetrien. ## Abgrenzung Abgrenzung Schließt Strukturen aus, denen eine wohldefinierte assoziative Komposition und Identitäten fehlen; Größenfragen (large vs small categories) und Anreicherungen (enriched categories) sind Erweiterungen, keine Grundbestandteile. ## Semantische Spannung Semantische Spannung Spannung zur Alltagssprache von »Kategorie« als bloße Klassifikation; in der Kategorientheorie steht die Struktur aus Objekten und Morphismen mit Komposition im Vordergrund, nicht bloßes Gruppieren. ## Synthese Synthese Eine Kategorie ist ein algebraischer Rahmen (Objekte, Morphismen, Komposition, Identitäten), der kompositionale Beziehungen kodiert, um strukturelle Muster, universelle Eigenschaften und Transformationen zwischen mathematischen Bereichen zu untersuchen.