Äquivalenz von Kategorien

Äquivalenz von Kategorien

Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General Theory of Natural Equivalences“ (in Trans. Amer. Math. Soc., 58, 1945) die erste explizit kategorientheoretische Arbeit. Die Grundbegriffe dieser Theorie sind Kategorie, Funktor und natürliche Transformation. Um den letzteren Begriff zu präzisieren, wurden die anderen eingeführt.

Die Kategorientheorie lässt sich, ähnlich wie die universelle Algebra, als allgemeine Theorie mathematischer Strukturen auffassen. Dabei werden allerdings Eigenschaften mathematischer Strukturen (klassische Strukturen sind z. B. Gruppen, Ringe, Moduln und topologische Räume) nicht über Relationen zwischen Elementen (der Trägermenge(n)) definiert, sondern gleichsam durch Vergleiche (mittels „Morphismen“ und „Funktoren“) sowohl innerhalb von als auch zwischen Kategorien.

Diese Art der Abstraktion führt nicht nur zu einer Klärung grundlegender, theorieübergreifender Begriffe, sie ermöglicht es auch, erfolgreiche Methoden und Konzepte einer speziellen mathematischen Theorie auf andere Bereiche und Objektklassen zu übertragen. Ein illustratives Beispiel liefert die Geschichte der homologischen Algebra, deren Methoden zuerst auf abelsche Gruppen beschränkt waren, dann auf Moduln über Ringen verallgemeinert wurden und schließlich, im kategorientheoretischen Gewand der Theorie der abelschen Kategorien, auf abelsche Garben übertragen wurden und da der Konstruktion von Kohomologietheorien, vor allem in der algebraischen Geometrie, dienen.

Die Kategorientheorie ist ebenso für Grundlagenfragen relevant. Topoi, das sind kategorientheoretische Extrakte der Kategorie der Mengen, in der wichtige Eigenschaften von Mengen rein pfeiltheoretisch formuliert werden, stellen eine Alternative zum axiomatischen mengentheoretischen Aufbau der Mathematik dar. Darüber hinaus spielt die Kategorientheorie in der Logik, in der Theoretischen Informatik (Semantik von Programmiersprachen, Domaintheorie, Graphgrammatiken) und in der theoretischen Physik (topologische Quantenfeldtheorie, TQFT) eine Rolle.

Inhaltsverzeichnis

Definitionen

Kategorie

Eine Kategorie \mathcal C besteht aus den folgenden Daten:

  • einer Klasse \operatorname{Ob}(\mathcal C) von Objekten
  • je einer Menge \operatorname{Mor}_{\mathcal C}(X, Y) zu jedem Paar (X,Y) von Objekten (auch mit \operatorname{Hom}_{\mathcal C}(X, Y) , [X, Y]_{\mathcal C}, \mathcal C (X, Y), XY oder (X,Y) bezeichnet); ihre Elemente heißen Pfeile oder Morphismen. Diese Mengen sind paarweise disjunkt, d. h. zu einem Morphismus f in \operatorname{Mor}(X, Y), auch f: X \to Y geschrieben, sind X (Quelle) und Y (Ziel) eindeutig bestimmt. Die Quelle eines Morphismus f wird auch mit \operatorname{dom}(f) bezeichnet (englisch domain), das Ziel mit \operatorname{cod}(f) (co-domain).
  • Verknüpfungsabbildungen
\operatorname{Mor}_{\mathcal C}(X,Y)\times\operatorname{Mor}_{\mathcal C}(Y,Z)\to\operatorname{Mor}_{\mathcal C}(X,Z),\quad (f,g)\mapsto g\circ f,
die im offensichtlichen Sinne assoziativ sind:
(h\circ g)\circ f = h\circ(g\circ f), sofern \operatorname{cod}(f) = \operatorname{dom}(g) und \operatorname{cod}(g) = \operatorname{dom}(h).

(Gelegentlich wird das \circ weggelassen und h \circ g als hg angeschrieben.)

  • einem Identitätsmorphismus \operatorname{id}_X: X \to X zu jedem Objekt X, der neutrales Element für die Verknüpfung mit Morphismen mit Quelle oder Ziel X ist, d. h. es gilt \operatorname{id}_X\circ f=f, falls \operatorname{cod}(f)=X ist, und f\circ \operatorname{id}_X=f, falls \operatorname{dom}(f)=X. Anstelle \operatorname{id}_X ist auch die Form 1X gebräuchlich.

Die Klasse aller Morphismen wird auch mit Fl(\mathcal C) (französisch flèche = Pfeil) bezeichnet.

Unterkategorie

Eine Unterkategorie einer Kategorie \mathcal C ist eine Kategorie \mathcal D, so dass \operatorname{Ob}(\mathcal D) eine Teilklasse von \operatorname{Ob}(\mathcal C) ist und für je zwei Objekte X und Y in D die Morphismenmenge \operatorname{Mor}_{\mathcal D}(X, Y) Teilmenge von \operatorname{Mor}_{\mathcal C}(X, Y) ist. Sind die Morphismenmengen von \mathcal D gleich denen von \mathcal C, ist \mathcal D eine volle Unterkategorie. Eine volle Unterkategorie ist schon durch die Angabe der Objekte bestimmt.

Duale Kategorie

Die duale Kategorie \mathcal C^{\mathrm{op}} zu einer Kategorie \mathcal C ist die Kategorie mit \operatorname{Ob}(\mathcal C^{\mathrm{op}}) = \operatorname{Ob}(\mathcal C) und

\operatorname{Mor}_{\mathcal{C}^{\mathrm{op}}}(X,Y) = \operatorname{Mor}_\mathcal{C}(Y,X).

Die Verknüpfungsabbildungen und Identitätsmorphismen sind dieselben wie in \mathcal C. Anschaulich gesagt zeigen in \mathcal C^{\mathrm{op}} alle Pfeile in die andere Richtung. Die Kategorie (\mathcal{C}^\mathrm{op})^\mathrm{op} ist gleich \mathcal C.

Funktor

Ein (kovarianter) Funktor ist so etwas wie eine strukturerhaltende Abbildung zwischen Kategorien. Ein Funktor F von einer Kategorie \mathcal C in eine Kategorie \mathcal D besteht aus den folgenden Daten:

  • eine Zuordnung F: \operatorname{Ob}(\mathcal C) \to \operatorname{Ob}(\mathcal D)
  • Abbildungen F: \operatorname{Mor}_\mathcal{C}(X, Y) \to \operatorname{Mor}_\mathcal{D}(F(X), F(Y)) für je zwei Objekte X, Y von \mathcal C.

Die Abbildungen zwischen den Morphismenmengen müssen folgende Eigenschaften haben:

  • Sie sind kompatibel mit Verknüpfungen, d. h. F(fg) = F(f)F(g).
  • Sie erhalten Identitätsmorphismen: F(\operatorname{id}_X) = \operatorname{id}_{F(X)}.

Ein kontravarianter Funktor (oder Kofunktor) von \mathcal C nach \mathcal D ist ein Funktor \mathcal{C}_\operatorname{op} \to \mathcal{D}. Äquivalent dazu ist die Beschreibung wie oben, mit den folgenden Unterschieden:

  • Die Abbildungen auf den Morphismenmengen gehen von \operatorname{Mor}_\mathcal{C}(X, Y) nach \operatorname{Mor}_\mathcal{D}(F(Y), F(X)).
  • Die Kompatibilität mit den Verknüpfungen lautet F(fg) = F(g)F(f).

Sind \mathcal{C}, \mathcal{D}, \mathcal{E} Kategorien und F: \mathcal{C}\to\mathcal{D} sowie G:\mathcal{D}\to\mathcal{E} ko- oder kontravariante Funktoren, so ist die Verkettung GF, die formal durch

(G\circ F)(X)=G(F(X)),\quad (G\circ F)(f)=G(F(f))

für Objekte X und Morphismen f definiert ist, ein Funktor \mathcal{C} \to \mathcal{E}. GF ist genau dann kovariant, wenn F und G beide ko- oder beide kontravariant sind, andernfalls kontravariant.

Natürliche Transformation

Natürliche Transformationen sind so etwas wie Abbildungen zwischen Funktoren. Sind F und G Funktoren von \mathcal C nach \mathcal D, so besteht eine natürliche Transformation t von F nach G aus Morphismen t_X: F(X)\to G(X) für jedes Objekt X von \mathcal C, so dass für jeden Morphismus f: X\to Y zwischen Objekten von \mathcal C das folgende Diagramm kommutiert

Datei:Natürliche Transformation.png

Als Formel bedeutet das: tYF(f) = G(f)tX.

Natürlich äquivalent sind zwei Funktoren F und G von \mathcal C nach \mathcal D, wenn es natürliche Transformationen t: F\to G und u: G\to F gibt, so dass tu und ut jeweils die Identität sind. Anders formuliert: natürliche Äquivalenz ist der Isomorphiebegriff in der Funktorkategorie. Eine natürliche Transformation t ist eine natürliche Äquivalenz genau dann, wenn tX für jedes X ein Isomorphismus ist.

Äquivalenz von Kategorien: Ein Funktor F: \mathcal C \to \mathcal D heißt eine Äquivalenz von Kategorien, wenn es einen Funktor G: \mathcal D \to \mathcal C gibt, so dass FG und GF jeweils natürlich äquivalent zur Identität von \mathcal D bzw. \mathcal C sind. Man kann zeigen, dass Äquivalenzen von Kategorien genau die volltreuen, wesentlich surjektiven Funktoren sind.

Beispiele

Kategorien

Hinweis: die Bezeichnungen für spezielle Kategorien sind in der Literatur extrem uneinheitlich. Oft wird eine Beschreibung der Kategorie in runde oder geschweifte Klammern gesetzt, z. B. (Gruppen), oder unterstrichen.

  • Die Kategorie Set bzw. Ens (zu engl. set für Menge bzw. franz. ensemble für Menge) ist die Kategorie der Mengen. Die Kategorie besteht aus der Klasse \operatorname{Ob}(Ens), welche alle Mengen enthält und die Morphismenmenge \operatorname{Mor}_{Ens}(X, Y) enthält alle Abbildungen von X nach Y. Die Verknüpfung zweier Morphismen ist die Verkettung der Mengenabbildungen.
  • HoTop ist die Homotopiekategorie der topologischen Räume. Die Objekte sind die topologischen Räume und die Morphismen sind die Homotopieklassen.
  • die Kategorie NLinSp der normierten linearen Räume mit den stetigen (=beschränkten) linearen Abbildungen. Unterkategorien sind z. B. die Banachräume mit stetigen linearen Abbildungen (BanSp1), die Banachräume mit stetigen normreduzierenden Abbildungen (BanSp2), oder kommutative komplexe Banachalgebren mit Einheit und normreduzierenden Algebrenhomomorphismen (CBanAlg).
  • Eine Menge mit einer Halbordnung (X,\le) bestimmt eine Kategorie: Objekte sind die Elemente der Menge, und \operatorname{Mor}(a, ) habe genau ein Element (z. B. das geordnete Paar (a,b)), falls a\le b, und sei andernfalls leer.
  • Die Kategorie der kleinen Kategorien (Cat): Eine Kategorie heißt klein, wenn die Klasse ihrer Objekte eine Menge ist. Die Objekte von Cat sind die kleinen Kategorien und die Morphismen sind die Funktoren. (Die Beschränkung auf kleine Kategorien ist aus mengentheoretischen Gründen nötig.)
  • Sind \mathcal C und \mathcal D Kategorien, so kann man die Funktorkategorie \operatorname{Mor}(\mathcal C, \mathcal D) bilden: Objekte sind Funktoren von \mathcal C nach \mathcal D, Morphismen sind natürliche Transformationen.
  • Ist \mathcal C eine Kategorie und S ein Objekt von \mathcal C, so ist die Kategorie \mathcal C/S der Objekte über S wie folgt definiert: Objekte von \mathcal C/S sind Morphismen in \mathcal C mit Ziel S, und Morphismen von \mathcal C/S sind Morphismen von \mathcal C, die mit den „Strukturmorphismen“ nach S verträglich sind, d. h. sind f: X \to S und g: Y \to S zwei Objekte von \mathcal C/S, so sind Morphismen von (X,f) nach (Y,g) in \mathcal C/S die Morphismen h von X nach Y, für die gh = f gilt.
  • Umgekehrt sei * ein fester einpunktiger topologischer Raum. Dann ist die Kategorie der topologischen Räume unter * isomorph zur Kategorie Top* der punktierten topologischen Räume.

Die meisten der oben genannten Beispiele sind so geartet (oder lassen sich leicht dahingehend anpassen), dass die Objekte Mengen zusammen mit einer Zusatzstruktur sind, die Morphismen Abbildungen, die mit dieser Struktur verträglich sind, und die Verknüpfung von Morphismen die Hintereinanderausführung von Abbildungen ist. Man spricht in diesem Fall von einer konkreten Kategorie. Es ist jedoch nicht jede Kategorie konkret oder auch nur äquivalent zu einer konkreten Kategorie (d. h. konkretisierbar). Nicht konkretisierbar sind beispielsweise (ohne Beweis):

  • Die Kategorie hTop mit topologischen Räumen als Objekten und Homotopieklassen stetiger Abbildungen als Morphismen.
  • Die Kategorie Rel mit Mengen als Objekten und Relationen als Morphismen, d. h. \operatorname{Mor}(A,B) = \operatorname{Pot}({A\times B}), sowie mit der Verknüpfung g\circ f=\{(a,c)\in A\times C\mid \exist b\in B\colon (a,b)\in f, (b,c)\in g\} zu f\in\operatorname{Mor}(A,B), g\in\operatorname{Mor}(B,C).

Funktoren

Meist gibt man für Funktoren nur die Zuordnung der Objekte an, wenn die Abbildungen auf den Morphismenmengen daraus leicht zu ersehen sind.

  • Für ein Objekt T einer Kategorie C ist die Zuordnung
X \mapsto MorC(T,X)
ein (kovarianter) Funktor C → Set. Der Funktor
X \mapsto MorC(X,T)
ist kontravariant. Hierzu siehe auch Hom-Funktor.
D\colon\mathrm{Vekt}_K\to\mathrm{Vekt}_K
wie folgt definiert:
  • Für ein Objekt V ist D(V) = V * = HomK(V,K) der Dualraum von V.
  • Für eine lineare Abbildung f\colon V\to W ist
D(f)\colon W^*\to V^*,\quad\lambda\mapsto\lambda\circ f.
Man überprüft leicht, dass D(f\circ g)=D(g)\circ D(f) und D(\mathrm{id}_V)=\mathrm{id}_{V^*} gilt.
  • Gm: (Ringe) → (Gruppen): ordnet einem unitären Ring seine Gruppe der Einheiten zu. Allgemeiner: GLn: (Ringe) → (Gruppen): ordnet einem Ring die Gruppe der invertierbaren n×n-Matrizen zu.
  • Die Fundamentalgruppe ist ein Funktor TopGrp; die höheren Homotopie- sowie die Homologiegruppen sind Funktoren Top → Ab; die Kohomologiegruppen sind kontravariante Funktoren Top → Ab.
  • Vergissfunktoren: Es gibt offensichtliche Funktoren Ab → Set, Ab → Grp, Top → Set usw., die einfach einen Teil der Struktur „vergessen“, d. h. einer abelschen Gruppe die zugrundeliegende Menge, einer abelschen Gruppe sich selbst (aber ohne die Information, dass sie abelsch ist), einem topologischen Raum die zugrundeliegende Menge usw. zuordnen.
  • „Freie“ Konstruktionen, hier freie abelsche Gruppe: Jeder Menge S kann man die abelsche Gruppe F(S):=\{a\colon S\to\mathbb{Z}\} (mit punktweiser Addition) zuordnen. Zusammen mit offensichtlichen Zuordnungen für Abbildungen, nämlich F(f)\colon a\mapsto a\circ f, ergibt sich ein kontravarianter Funktor von Set nach Ab. Es gibt dann eine kanonische Isomorphie \operatorname{Mor}_{Set}(S,V(A))\cong \operatorname{Mor}_{Ab}(F(S),A), wobei V der Vergissfunktor ist. Man sagt, F ist (links-)adjungierter Funktor zu V. Ähnliche Konstrukte existieren für viele Vergissfunktoren.

Natürliche Transformationen

  • Die Bezeichnungen seien wie im Beispiel des Funktors „Dualraum“ oben. Die Abbildungen
\tau_V\colon V\to V^{**},\quad v\mapsto(\lambda\mapsto\lambda(v))
eines Vektorraumes in seinen Bidualraum bilden eine natürliche Transformation
\tau\colon\mathrm{id}_{\mathrm{Vekt}_K}\to D\circ D.
Auf der vollen Unterkategorie der endlichdimensionalen Vektorräume ist τ eine natürliche Äquivalenz.
  • det: GLnGm: Für einen Ring R ist detR der Gruppenhomomorphismus GLn(R) → R×, die Determinante.
  • Die Hurewicz-Abbildung
\pi_k(X)\to H_k(X,\mathbb Z)
G\to G^{\mathrm ab}:=G/[G,G]

Yoneda-Lemma und universelle Konstruktionen

Universelle Konstruktionen übertragen einfache Begriffe aus der Kategorie der Mengen auf beliebige Kategorien.

Das Yoneda-Lemma

Es sei C eine Kategorie. Der Funktor

h\colon C\to\mathbf{Mor}(C^{\mathrm{op}},\mathbf{Set}),

der einem Objekt X den Funktor

h_X\colon T\mapsto\mathrm{Mor}_C(T,X)

zuordnet, ist volltreu. Allgemeiner gilt für Objekte X von C und F von Mor(Cop,Set):

\mathrm{Mor}_{\mathbf{Mor}(C^{\mathrm{op}},\mathbf{Set})}(h_X,F)=F(X);

einer natürlichen Transformation thX → F wird dabei tX(idX) zugeordnet (man beachte hX(X) = MorC(X,X)).

Strukturtransfer

Das Yoneda-Lemma erlaubt es, Begriffe, die aus der Kategorie der Mengen geläufig sind, auf beliebige Kategorien zu übertragen. Beispielsweise kann man ein Produkt von Objekten Xi definieren als ein Objekt P, für das h(P) objektweise das kartesische Produkt der h(Xi) ist, d. h. dass

\mathrm{Mor}(T,P) \cong \prod\mathrm{Mor}(T,X_i)

gilt; dabei meint \cong eine natürliche Äquivalenz von Funktoren in T. Diese Äquivalenz liefert für T = P als Entsprechung von idP auch Morphismen pri: P → Xi. Das Yoneda-Lemma zeigt dann, dass P bis auf kanonische Isomorphie eindeutig bestimmt ist: sind Mor(_,P) und Mor(_,Q) via t natürlich äquivalente Funktoren, so sind P und Q via tP(idP) isomorph.

„Universell“ ist dieses kategorielle Produkt in dem folgenden Sinn: wann immer man Abbildungen fi: T → Xi gegeben hat, kommen diese von den universellen Abbildungen pri: P → Xi her, d. h. es gibt eine Abbildung c: T → P, so dass fi = pri c gilt.

Außerdem kann man zu jeder derart gewonnenen Konstruktion die duale Konstruktion bilden (meist durch eine Vorsilbe „Ko“ gekennzeichnet), indem man zur dualen Kategorie übergeht. Beispielsweise ist das Koprodukt von Objekten Xi in einer Kategorie C dasselbe wie das Produkt derselben Objekte Xi in der dualen Kategorie Cop.

Entsprechend können auch Eigenschaften von Mengenabbildungen auf beliebige Kategorien übertragen werden: beispielsweise ist ein Morphismus X → Y ein Monomorphismus, wenn h(X) → h(Y) objektweise injektiv ist. Man beachte: Epimorphismus ist der duale Begriff zu Monomorphismus, jedoch die Entsprechung zu surjektiven Mengenabbildungen ist der Begriff Retraktion.

Spezielle universelle Konstruktionen bzw. Begriffe

Anmerkungen

Zu einem anderen allgemeinen Zugang zu mathematischen Strukturen siehe Algebraische Struktur.

Mathematical Subject Classification (2000): 18-XX (mit homologischer Algebra in 18Gxx)

Siehe auch: Homologische Algebra sowie Kategorie (Allgemeinbegriff) und Kategorie in der Philosophie

Literatur

Einführungen sind:

  • F. W. Lawvere, S. H. Schanuel: Conceptual Mathematics. A first introduction to categories, Cambridge, 1997. ISBN 0-521-47817-0 (hardback ISBN 0-521-47249-0).
  • Steve Awodey: Category Theory, Claredon Press, Oxford, 2006. ISBN 978-0-19-856861-2.
  • Michael A. Arbib, Ernest G. Manes: Arrows, Structures and Functors. The Categorical Imperative, Academic Press, 1975.
  • Hartmut Ehrig, Michael Pfender und Studenten der Mathematik und Informatik: Kategorien und Automaten, Walter de Gruyter, Berlin, New York, 1972. ISBN 3-11-003902-8 (Das Buch gibt in den Kapiteln 1, 3 und 5 eine in sich abgeschlossene Einführung in die allgemeine Kategorientheorie und in den Kapiteln 2, 4 und 6 wird die Automatentheorie mit kategoriellen Methoden entwickelt.)

Klassische Lehrbücher sind:

  • J. Adámek, H. Herrlich, G.E. Strecker: Abstract and concrete categories, John Wiley (1990)
  • MacLane, Saunders: Kategorien: Begriffssprache und mathematische Theorie, Berlin, 1972, vii, 295 pp. – (Categories for the Working Mathematician <1971, deutsch>) vergriffen engl. Ausgabe ISBN 0-387-98403-8
  • Mac Lane, Saunders: Categories for the Working Mathematician, 2nd edition, Springer, 1998, ISBN 0-387-98403-8
  • Herrlich, Horst; Strecker, George E.: Category Theory. An Introduction, Boston, 1973
  • Schubert, Horst: Kategorien I/II, Springer, 1970.

Ein Nachschlagewerk ist:

  • Borceux, Francis: Handbook of categorical algebra, 3 vol (1: Basic category theory; 2: Categories and structures; 3: Categories of sheaves). – Cambridge, 1994. (Encyclopedia of Mathematics and its Applications, 50/52) ISBN 0-521-44178-1, 0-521-44179-X, 0-521-44180-3

Ein Sammelband ist:

Siehe auch

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Natürliche Äquivalenz — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… …   Deutsch Wikipedia

  • Von-Neumann-Algebra — Eine von Neumann Algebra oder W* Algebra ist eine mathematische Struktur in der Funktionalanalysis. Inhaltsverzeichnis 1 Definition 2 Faktoren 3 Kommutative von Neumann Algebren 4 Eigensch …   Deutsch Wikipedia

  • Logische Äquivalenz — Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen. Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet: zum einen im Sinne der materialen Äquivalenz (Bikonditional) zum anderen im… …   Deutsch Wikipedia

  • John von Neumann — um 1940 János Neumann Margittai, (* 28. Dezember 1903 in Budapest (Österreich Ungarn) als Neumann János Lajos; † 8. Februar 1957 in Washington, D.C.) war ein Mathematiker österreichisch ungarischer …   Deutsch Wikipedia

  • Liste von Physikern — Die Liste von Physikern ist alphabetisch sortiert und enthält nur Forscher, die wesentliche Beiträge zum Fachgebiet geleistet haben. Die Liste soll neben den Lebensdaten das Fachgebiet des Forschers nennen und wenige Stichworte zu den Aspekten… …   Deutsch Wikipedia

  • Ricardianische Äquivalenz — Die Ricardianische Äquivalenz ist ein auf David Ricardo zurückgehendes Konzept, das sich mit der Wirkung von Steuersenkungen in der Gegenwart, die mit höheren Steuern in der Zukunft finanziert werden, beschäftigt. Dieses Konzept wurde zuerst im… …   Deutsch Wikipedia

  • Einbettungssatz von Mitchell — Der Einbettungssatz von Mitchell ist ein mathematisches Resultat über abelsche Kategorien. Es sagt aus, dass diese zunächst sehr abstrakt definierten Kategorien sich durchaus als konkrete Kategorien von Moduln auffassen lassen. Als Folge hiervon… …   Deutsch Wikipedia

  • Substanzielle Äquivalenz — Das Konzept der Substanziellen Äquivalenz oder der stofflichen Entsprechung dient zur Risikoabschätzung neuer Lebensmittel, insbesondere gentechnisch veränderter Lebensmittel. Es wurde erstmals 1993 von der OECD im Zusammenhang mit der Bewertung… …   Deutsch Wikipedia

  • Periodische Äquivalenz — Der von Rudolf Carnap eingeführte Begriff der Periodischen Äquivalenz dient der Klassenbildung innerhalb der großen Menge periodischer Prozesse. Zwei Vorgänge heißen periodisch äquivalent, wenn das Verhältnis ihrer Frequenzen konstant ist.[1]… …   Deutsch Wikipedia

  • Satz von Fraïssé — Der Satz von Fraïssé, benannt nach Roland Fraïssé, ist ein Satz aus der mathematischen Logik. Ist S eine endliche Symbolmenge, so charakterisiert er die elementare Äquivalenz zweier S Strukturen auf rein algebraische Weise, ohne Bezug auf die… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”