Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions

DOI10.1007/978-3-662-44124-4_10zbMath1360.68609OpenAlexW109180551MaRDI QIDQ2942782

Barbara König, Bram Westerbaan, Henning Kerstan

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01408759/file/328263_1_En_10_Chapter.pdf

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

Related Items (3)

Coinduction in Flow: The Later Modality in Fibrations ⋮ Steps and traces ⋮ Unnamed Item

This page was built for publication: Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions