Zusammenfassung
In den vorherigen Kapiteln haben wir algebraische und logische Konstruktionen als Beispiele für kategorielle Begriffsbildungen kategoriell beschrieben. Die Syntax der Algebra läßt sich zusammenfassen zu einer Kategorie von Sortenstrings, Termen und Substitutionen (Term(Σ) bzw. Term(SP), Bsp. 22.2.8), die endliche Produkte hat (Satz 25.2.1). Die syntaktischen Kategorien der Aussagenlogik (Form(P), 22.2.9) haben endliche Produkte und Coprodukte sowie Exponenten (Beispiele 25.2.2, 25.4.2 und 27.4.2). In beiden Fällen können die Modelle, Algebren bzw. Wahrheitsbelegimgen als strukturbewahrende Funktoren von einer syntaktischen Kategorie in einen semantischen Bereich, d.h. einer Kategorie mit geeigneter Struktm, angesehen werden. Algebren sind Interpretationen der algebraischen Syntax in der Kategorie der Mengen und Abbildungen (Bsp. 24.2.5), Wahrheitsbelegungen sind Interpretationen der aussagenlogischen Syntax in der Kategorie der Wahrheitswerte T (wahr) imd F (falsch) mit der Folgerungsbeziehung F→T (Bsp. 24.2.6). Homomorphismen von Σ-Algebren werden unter dieser Entsprechung zu natürlichen Transformationen und ergeben jeweils Äquivalenzen zwischen Funktorkategorien und Kategorien von Algebren (Satz 26.3.2). Diese Äquivalenz läßt sich auf Wahrheitsbelegungen übertragen und führt so zu einem natürlichen Begriff von Morphismen bzw. Vergleichen von Wahrheitsbelegungen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1999 Springer
About this chapter
Cite this chapter
Ehrig, H., Mahr, B., Cornelius, F., Große-Rhode, M., Zeitz, P. (1999). Anwendungen auf Algebra und Logik. In: Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-97986-6_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-97986-6_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63865-0
Online ISBN: 978-3-642-97986-6
eBook Packages: Springer Book Archive