Applied Categorical Structures

, Volume 3, Issue 3, pp 279–301

Quantaloids, enriched categories and automata theory

Authors

  • Kimmo I. Rosenthal
    • Department of MathematicsUnion College
Article

DOI: 10.1007/BF00878445

Cite this article as:
Rosenthal, K.I. Appl Categor Struct (1995) 3: 279. doi:10.1007/BF00878445

Abstract

This article is intended to be an survey article outlining how the theory of quantaloids and categories enriched in them provides an effective means of analyzing both automata and tree automata. The emphasis is on the unification of concepts and how categorical methods provide insight into various calculations and theorems, both illuminating the original presentation as well as yielding conceptually simpler proofs. Proofs will be omitted and the emphasis is on providing the reader (even a relatively inexperienced one) with an understanding of the basic constructions and results.

Mathematics subject classifications (1991)

18B3518D2018B2018F20

Key words

quantaloidnucleusQ-categoryQ-functorQ-bimodulerelational presheafautomatatree automata

Copyright information

© Kluwer Academic Publishers 1995