Kategorientheoretische Analyse von Automaten und Koalgebren in der Kategorie der kombinatorischen Spezies

Die Arbeit untersucht verallgemeinerte Automaten (im Sinne von Adámek-Trnková) in der Kategorie der (mengenwertigen) kombinatorischen Spezies von Joyal und analysiert als wichtigen Zwischenschritt Koalgebren für den Ableitungsfunktor ∂und den 'Euler-Homogenitätsoperator' L ◦∂, die aus der Adjunktion L ⊣∂⊣R entstehen.