Applied Categorical Structures

, Volume 3, Issue 3, pp 279–301

Quantaloids, enriched categories and automata theory

  • Kimmo I. Rosenthal

DOI: 10.1007/BF00878445

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


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)


Key words

quantaloidnucleusQ-categoryQ-functorQ-bimodulerelational presheafautomatatree automata

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • Kimmo I. Rosenthal
    • 1
  1. 1.Department of MathematicsUnion CollegeSchenectadyUSA