Dieses Papier schlägt eine Brücke zwischen abstrakter Mathematik und Programmiersprachensemantik und führt die Konzepte der Prämonoidalen Kategorie und des Prämonoidalen Funktors ein. Die Autoren demonstrieren ihre Anwendung in der denotationalen Semantik und charakterisieren semantische Definitionen von Eugenio Moggis Monaden als Berechnungsbegriffe. Die Forschung präsentiert einen Darstellungssatz für die prämonoidale Umgebung, der auf Monaden basiert, und bietet einen fibrationalen Rahmen für die Struktur. Durch die Formalisierung von Rechenkonzepten innerhalb der Kategorientheorie bietet diese Arbeit ein tieferes Verständnis der Grundlagen von Programmiersprachen und trägt zur Entwicklung robusterer semantischer Modelle bei.
Dieses Papier steht im Einklang mit dem Fokus der Zeitschrift Mathematical Structures in Computer Science auf mathematische Grundlagen und Strukturen, die für die Informatik relevant sind. Die Einführung prämonoidaler Kategorien und Funktoren für die denotationelle Semantik von Programmiersprachen trägt zur Erforschung der theoretischen Grundlagen der Berechnung durch die Zeitschrift bei. Ihre Schnittmenge von Mathematik und Informatik ist eine gute Ergänzung.
| Kategorie | Kategorie Wiederholung |
|---|---|
| Science: Mathematics: Instruments and machines: Electronic computers. Computer science | 1 |