about me teaching publications gitlab

Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions

05 Apr 2014 [ preprint ]

doi 10.1007/978-3-662-44124-4_10
with Henning Kerstan and Barbara König

Our take on when an adjunction can be lifted to coalgebras, with many examples.