The STUDIA UNIVERSITATIS BABE┼×-BOLYAI issue article summary

The summary of the selected article appears at the bottom of the page. In order to get back to the contents of the issue this article belongs to you have to access the link from the title. In order to see all the articles of the archive which have as author/co-author one of the authors mentioned below, you have to access the link from the author's name.

    STUDIA INFORMATICA - Issue no. 4 / 2013  

Authors:  .
  Abstract:   Category theory provides possibilities to model many important features of computer science. Toposes as specific categories enable to model theories over types. Another means used in computer science for term calculus are tree automata that enable evaluation of well-formed terms in this calculus. Our paper presents how the theory of algebraic structures, namely group theory, can be represented in a topos. We also specify its correspondence with tree automata enclosed in the category of sets as a mapping.

Key words and phrases. Group theory, topos, tree automata, term evaluation
2010 Mathematics Subject Classi cation. 18B25, 20J99.
      Back to previous page