Einen schönen guten Abend,

wie heute Nachmittag angekündigt nun mein Vortrag über Kategorientheorie. Hab dabei versucht, alles recht einfach zu belassen und damit eine leichte Einführung für Beginner wie mich zu liefern. Der Vortrag basiert auf einem Artikel von Hoare, in Kombination vieler Artikel aus dem Netz. Das Schöne ist, dass Hoare immer nur in einer Kategorie bleibt: PRE, die Kategorie der Präordnungen, das macht das ganze ein wenig einfacher...denn die, die sich schon mal mit Kategorientheorie befasst haben, wissen, dass im allg. diese Theorie ziemlich heftig ist...ich wünsch Euch viel Spaß beim lesen und wenns noch Fragen gibt, dann schreibt mir doch einfach...Ach ja, die endgültige Ausarbeitung, dann auch mit einigen Anwendungen gibts in etwa 6 Wochen.

Und hier gehts zum Download: [pdf]
338,1 kB

Viele Grüße,
anderl