====== Graphtransformationssysteme ======
**Am**: 29.07.2014 \\
**Bei**: Prof. Schneider \\
**Bewertung**: "Sie sind viel zu sehr ins detail, sodass der Zweitprüfer weniger als bei den anderen Veransten hat. Wenn Sie etwas jemandem erklären, sollte erst die Anschauung kommen." \\

  - Was ist eine Ableitung?
  - Was ist ein Pushout? Wie lässt sich es konstruieren? Was ist das Koprodukt? Was ist das Koprodukt in Set? Was ist ein Koegalisator?
  - Wie kann man das PO-Complement berechnen? Welche fälle gibt es?
    * Wie geht es wenn der "senkrechte" morphismus ein mono ist? Was ist das Koprodukt-Komplement? (-> eindeutig)
    * Was wenn der "senkrechte" epi und der "waagrechte" mono ist? (-> Nur lösbar, wenn Identifikationsbedingung erfüllt)
    * Was wenn beide epi sind? (-> Natürliches PO-Komplement, Mehrdeutig aber lösbar)
  - Was ist die Kategorie Setincl? Wie sehen epis/monos da aus? Wie Coretraktioinen? Wozu wird sie verwendet? (-> für Gegenbeispiele und als Labels für Philosophenproblem)
  - Wie sieht es aus mit Vertauschung von Ableitungen? (-> Sequentielle/Parallele Unabhängigkeit. Kriterium für Sequentielle Unabhängigkeit)