Bindungen

Stefan Borgwardt

AutorIn

Stefan Borgwardt

Titel

Bindungen

Zitierfähige Url:

https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-892303

Erstveröffentlichung

2010

Datum der Einreichung

01.07.2010

Datum der Verteidigung

15.07.2010

Abstract (DE)

Die formale Begriffsanalyse ist eine mathematische Methode zur Darstellung von Begriffshierarchien auf der Grundlage einfacher Inzidenzstrukturen, genannt formale Kontexte. Die durch einen Kontext bestimmten Begriffe können zu einem vollständigen Verband geordnet werden. Das zentrale Resultat der Begriffsanalyse ist die Äquivalenz von Kontexten und vollständigen Verbänden. Darauf aufbauend kann man viele Konstruktionen auf beiden Seiten finden, die durch diese Äquivalenz aufeinander abgebildet werden, wie z. B. die Kontextsumme und das direkte Produkt vollständiger Verbände. Für diese Arbeit ist außerdem die Kategorientheorie von Bedeutung. Sie beschäftigt sich mit der Modellierung von Beziehungen zwischen gleichartigen Objekten. Sogenannte Morphismen lassen sich dabei als verallgemeinerte Abbildungen zwischen den Objekten verstehen. Aufbauend auf diesem Graphen aus Objekten und Morphismen lassen sich verschiedene Konstruktionen auf höherer Ebene beschreiben, wie z. B. Limites und Tensorprodukte. Diese Arbeit ist ein Versuch, die Bedeutung von Morphismen in der formalen Begriffsanalyse zu analysieren. Sogenannte Bindungen zwischen formalen Kontexten stehen in eindeutiger Beziehung zu ∨-erhaltenden Morphismen zwischen ihren Begriffsverbänden. Die Äquivalenz der beiden daraus resultierenden Kategorien ist eine kanonische Fortsetzung der grundlegenden Äquivalenz von formalen Kontexten und vollständigen Verbänden.

Freie Schlagwörter (DE)

Formale Begriffsanalyse, Kategorientheorie, Bindungen, Morphismen

Klassifikation (DDC)

510

Klassifikation (RVK)

SK 160

GutachterIn