@inproceedings(adamek2012coalgebraic,
 author       = {Ji{\v{r}}{\'\i} Ad{\'a}mek and Filippo Bonchi and Mathias H{\"u}lsbusch and Barbara K{\"o}nig and Stefan Milius and Alexandra Silva},
 year         = {2012},
 title        = {A coalgebraic perspective on minimization and determinization},
 booktitle    = {International Conference on Foundations of Software Science and Computational Structures},
 organization = {Springer},
 pages        = {58--73},
 doi          = {10.1007/978-3-642-28729-9_4},
)
@article(angluin1987learning,
 author       = {Dana Angluin},
 year         = {1987},
 title        = {Learning regular sets from queries and counterexamples},
 journal      = {Information and computation},
 volume       = {75},
 number       = {2},
 pages        = {87--106},
 doi          = {10.1016/0890-5401(87)90052-6},
)
@inproceedings(angluin2015learning,
 author       = {Dana Angluin and Sarah Eisenstat and Dana Fisman},
 year         = {2015},
 title        = {Learning regular languages via alternating automata},
 booktitle    = {IJCAI},
 pages        = {3308--3314},
)
@article(arbib1975fuzzy,
 author       = {Michael~A Arbib and Ernest~G Manes},
 year         = {1975},
 title        = {Fuzzy machines in a category},
 journal      = {Bulletin of the Australian Mathematical Society},
 volume       = {13},
 number       = {2},
 pages        = {169--210},
 doi          = {10.1017/S0004972700024412},
)
@book(awodey2010category,
 author       = {Steve Awodey},
 year         = {2010},
 title        = {Category theory},
 publisher    = {Oxford university press},
)
@inproceedings(beck1969distributive,
 author       = {Jon Beck},
 year         = {1969},
 title        = {Distributive laws},
 booktitle    = {Seminar on triples and categorical homology theory},
 organization = {Springer},
 pages        = {119--140},
 doi          = {10.1007/BFb0083084},
)
@inproceedings(berndt2017learning,
 author       = {Sebastian Berndt and Maciej Li{\'s}kiewicz and Matthias Lutter and R{\"u}diger Reischuk},
 year         = {2017},
 title        = {Learning residual alternating automata},
 booktitle    = {Thirty-First AAAI Conference on Artificial Intelligence},
)
@article(bonchi2014algebra,
 author       = {Filippo Bonchi and Marcello~M Bonsangue and Helle~H Hansen and Prakash Panangaden and Jan~JMM Rutten and Alexandra Silva},
 year         = {2014},
 title        = {Algebra-coalgebra duality in Brzozowski's minimization algorithm},
 journal      = {ACM Transactions on Computational Logic (TOCL)},
 volume       = {15},
 number       = {1},
 pages        = {1--29},
 doi          = {10.1145/2490818},
)
@incollection(bonchi2012brzozowski,
 author       = {Filippo Bonchi and Marcello~M Bonsangue and Jan~JMM Rutten and Alexandra Silva},
 year         = {2012},
 title        = {Brzozowski\IeC{\textquoteright}s algorithm (co) algebraically},
 booktitle    = {Logic and Program Semantics},
 publisher    = {Springer},
 pages        = {12--23},
 doi          = {10.1007/978-3-642-29485-3_2},
)
@inproceedings(bonsangue2013presenting,
 author       = {Marcello~M Bonsangue and Helle~Hvid Hansen and Alexander Kurz and Jurriaan Rot},
 year         = {2013},
 title        = {Presenting distributive laws},
 booktitle    = {International Conference on Algebra and Coalgebra in Computer Science},
 organization = {Springer},
 pages        = {95--109},
 doi          = {10.1007/978-3-642-40206-7_9},
)
@inproceedings(brzozowski1962canonical,
 author       = {Janusz~A Brzozowski},
 year         = {1962},
 title        = {Canonical regular expressions and minimal state graphs for definite events},
 booktitle    = {Proc. Symposium of Mathematical Theory of Automata},
 pages        = {529--561},
)
@article(BrzozowskiT14,
 author       = {Janusz~A. Brzozowski and Hellis Tamm},
 year         = {2014},
 title        = {Theory of {\'{a}}tomata},
 journal      = {Theor. Comput. Sci.},
 volume       = {539},
 pages        = {13--27},
 doi          = {10.1016/j.tcs.2014.04.016},
)
@inproceedings(DenisLT02,
 author       = {Fran{\c{c}}ois Denis and Aur{\'e}lien Lemay and Alain Terlutte},
 year         = {2001},
 title        = {Residual finite state automata},
 booktitle    = {STACS 2001},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {144--157},
 doi          = {10.1007/3-540-44693-1_13},
)
@article(eilenberg1965adjoint,
 author       = {Samuel Eilenberg and John~C Moore},
 year         = {1965},
 title        = {Adjoint functors and triples},
 journal      = {Illinois Journal of Mathematics},
 volume       = {9},
 number       = {3},
 pages        = {381--398},
 doi          = {10.1215/ijm/1256068141},
)
@inproceedings(esposito2002learning,
 author       = {Yann Esposito and Aur{\'e}lien Lemay and Fran{\c{c}}ois Denis and Pierre Dupont},
 year         = {2002},
 title        = {Learning probabilistic residual finite state automata},
 booktitle    = {International Colloquium on Grammatical Inference},
 organization = {Springer},
 pages        = {77--91},
 doi          = {10.1007/3-540-45790-9_7},
)
@inproceedings(hansen2014strong,
 author       = {Helle~Hvid Hansen and Clemens Kupke and Raul~Andres Leal},
 year         = {2014},
 title        = {Strong completeness for iteration-free coalgebraic dynamic logics},
 booktitle    = {IFIP International Conference on Theoretical Computer Science},
 organization = {Springer},
 pages        = {281--295},
 doi          = {10.1007/978-3-662-44602-7_22},
)
@mastersthesis(van2016master,
 author       = {Gerco van Heerdt},
 year         = {2016},
 title        = {An abstract automata learning framework},
 school       = {Radboud University Nijmegen},
)
@phdthesis(van2020phd,
 author       = {Gerco van Heerdt},
 year         = {2020},
 title        = {{CALF}: Categorical automata learning framework},
 school       = {University College London},
)
@article(HeerdtMSS19,
 author       = {Gerco van Heerdt and Joshua Moerman and Matteo Sammartino and Alexandra Silva},
 year         = {2019},
 title        = {A (co)algebraic theory of succinct automata},
 journal      = {J. Log. Algebraic Methods Program.},
 volume       = {105},
 pages        = {112--125},
 doi          = {10.1016/j.jlamp.2019.02.008},
)
@inproceedings(van2017learning,
 author       = {Gerco van Heerdt and Matteo Sammartino and Alexandra Silva},
 year         = {2020},
 title        = {Learning automata with side-effects},
 booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland, April 25-26, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12094},
 publisher    = {Springer},
 pages        = {68--89},
 doi          = {10.1007/978-3-030-57201-3_5},
)
@inbook(jacobs2005bialgebraic,
 author       = {Bart Jacobs},
 year         = {2006},
 title        = {A bialgebraic review of deterministic automata, regular expressions and languages},
 pages        = {375--404},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/11780274_20},
)
@inproceedings(jacobs2011bases,
 author       = {Bart Jacobs},
 year         = {2011},
 title        = {Bases as coalgebras},
 booktitle    = {International conference on algebra and coalgebra in computer science},
 organization = {Springer},
 pages        = {237--252},
 doi          = {10.2168/LMCS-9(3:23)2013},
)
@inproceedings(jacobs2015recipe,
 author       = {Bart Jacobs},
 year         = {2015},
 title        = {A recipe for state-and-effect triangles},
 booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
 doi          = {10.4230/LIPIcs.CALCO.2015.116},
)
@inproceedings(jacobs2012trace,
 author       = {Bart Jacobs and Alexandra Silva and Ana Sokolova},
 year         = {2012},
 title        = {Trace semantics via determinization},
 booktitle    = {International Workshop on Coalgebraic Methods in Computer Science},
 organization = {Springer},
 pages        = {109--129},
 doi          = {10.1007/978-3-642-32784-1_7},
)
@article(jacobs2015trace,
 author       = {Bart Jacobs and Alexandra Silva and Ana Sokolova},
 year         = {2015},
 title        = {Trace semantics via determinization},
 journal      = {Journal of Computer and System Sciences},
 volume       = {81},
 number       = {5},
 pages        = {859--879},
 doi          = {10.1016/j.jcss.2014.12.005},
)
@article(klin2004coalgebraic,
 author       = {Bartek Klin},
 year         = {2004},
 title        = {A coalgebraic approach to process equivalence and a coinduction principle for traces},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {106},
 pages        = {201--218},
 doi          = {10.1016/j.entcs.2004.02.029},
)
@inproceedings(klin2015presenting,
 author       = {Bartek Klin and Beata Nachyla},
 year         = {2015},
 title        = {Presenting morphisms of distributive laws},
 booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
)
@inproceedings(linton1966some,
 author       = {Fred~EJ Linton},
 year         = {1966},
 title        = {Some aspects of equational categories},
 booktitle    = {Proceedings of the Conference on Categorical Algebra},
 organization = {Springer},
 pages        = {84--94},
 doi          = {10.1007/978-3-642-99902-4_3},
)
@inproceedings(moerman2019residual,
 author       = {Joshua Moerman and Matteo Sammartino},
 year         = {2020},
 title        = {Residual nominal automata},
 booktitle    = {{CONCUR}},
 volume       = {171},
 pages        = {44:1--44:21},
 doi          = {10.4230/LIPIcs.CONCUR.2020.44},
)
@book(moggi1988computational,
 author       = {Eugenio Moggi},
 year         = {1988},
 title        = {Computational lambda-calculus and monads},
 publisher    = {University of Edinburgh, Department of Computer Science, Laboratory for Foundations of Computer Science},
)
@book(moggi1990abstract,
 author       = {Eugenio Moggi},
 year         = {1990},
 title        = {An abstract view of programming languages},
 publisher    = {University of Edinburgh, Department of Computer Science, Laboratory for Foundations of Computer Science},
)
@article(moggi1991notions,
 author       = {Eugenio Moggi},
 year         = {1991},
 title        = {Notions of computation and monads},
 journal      = {Information and computation},
 volume       = {93},
 number       = {1},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@article(MyersAMU15,
 author       = {Robert S.~R. Myers and Jiri Adamek and Stefan Milius and Henning Urbat},
 year         = {2015},
 title        = {Coalgebraic constructions of canonical nondeterministic automata},
 journal      = {Theor. Comput. Sci.},
 volume       = {604},
 pages        = {81--101},
 doi          = {10.1016/j.tcs.2015.03.035},
)
@article(nerode1958linear,
 author       = {Anil Nerode},
 year         = {1958},
 title        = {Linear automaton transformations},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {9},
 number       = {4},
 pages        = {541--544},
 doi          = {10.1090/S0002-9939-1958-0135681-9},
)
@article(power2002combining,
 author       = {John Power and Hiroshi Watanabe},
 year         = {2002},
 title        = {Combining a monad and a comonad},
 journal      = {Theoretical Computer Science},
 volume       = {280},
 number       = {1-2},
 pages        = {137--162},
 doi          = {10.1016/S0304-3975(01)00024-X},
)
@article(rutten2013generalizing,
 author       = {Jan Rutten and Marcello Bonsangue and Filippo Bonchi and Alexandra Silva},
 year         = {2013},
 title        = {Generalizing determinization from automata to coalgebras},
 journal      = {Logical Methods in Computer Science},
 volume       = {9},
 doi          = {10.2168/LMCS-9(1:9)2013},
)
@article(rutten2000universal,
 author       = {Jan~JMM Rutten},
 year         = {2000},
 title        = {Universal coalgebra: a theory of systems},
 journal      = {Theoretical computer science},
 volume       = {249},
 number       = {1},
 pages        = {3--80},
 doi          = {10.1016/S0304-3975(00)00056-6},
)
@article(schroder2008expressivity,
 author       = {Lutz Schr{\"o}der},
 year         = {2008},
 title        = {Expressivity of coalgebraic modal logic: The limits and beyond},
 journal      = {Theoretical Computer Science},
 volume       = {390},
 number       = {2-3},
 pages        = {230--247},
 doi          = {10.1016/j.tcs.2007.09.023},
)
@inproceedings(silva2010generalizing,
 author       = {Alexandra Silva and Filippo Bonchi and Marcello~M Bonsangue and Jan~JMM Rutten},
 year         = {2010},
 title        = {Generalizing the powerset construction, coalgebraically},
 booktitle    = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
)
@article(Street2009,
 author       = {Ross Street},
 year         = {2009},
 title        = {Weak distributive laws.},
 journal      = {Theory and Applications of Categories [electronic only]},
 volume       = {22},
 pages        = {313--320},
)
@article(taylor2002subspaces,
 author       = {Paul Taylor},
 year         = {2002},
 title        = {Subspaces in abstract stone duality},
 journal      = {Theory and Applications of Categories},
 volume       = {10},
 number       = {13},
 pages        = {301--368},
)
@article(VuilleminG210,
 author       = {Jean Vuillemin and Nicolas Gama},
 year         = {2010},
 title        = {Efficient equivalence and minimization for non deterministic xor automata},
)
@article(watanabe2002well,
 author       = {Hiroshi Watanabe},
 year         = {2002},
 title        = {Well-behaved translations between structural operational semantics},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {65},
 number       = {1},
 pages        = {337--357},
 doi          = {10.1016/S1571-0661(04)80372-4},
)
@article(arxiv,
 author       = {Stefan Zetzsche and Gerco van Heerdt and Matteo Sammartino and Alexandra Silva},
 year         = {2021},
 title        = {Canonical automata via distributive law homomorphisms},
 journal      = {arXiv preprint arXiv:2104.13421},
)
@inproceedings(zwart2019no,
 author       = {Maaike Zwart and Dan Marsden},
 year         = {2019},
 title        = {No-go theorems for distributive laws},
 booktitle    = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 organization = {IEEE},
 pages        = {1--13},
 doi          = {10.1109/LICS.2019.8785707},
)