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.
Diese Arbeit zeigt, wie Linsen, Dialektika-Kategorien und Optiken als Spezialfälle einer allgemeinen fibrationalen Konstruktion betrachtet werden können.
Freie doppelt-unendliche distributive Kategorien sind kartesisch abgeschlossen.