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. 2 / 2010  
         
  Article:   COALGEBRAIC APPROACH FOR PROGRAM BEHAVIOR IN COMONADS OVER TOPOSES.

Authors:  VALERIE NOVITZKÁ. 		 
       
         
  Abstract:  The practical goal of program behavior studies is to enhance program and system performance. A behavior of running program can be described by evaluating the coalgebraic structure over a collection of algebraic terms on state space. Coalgebras are defined by polynomial endofunctors. We formulate the coalgebras in categories. Toposes are special kind of categories defined by axioms saying roughly that certain constructions one can make with sets can be done in a category. We use approach via toposes and comonads as dual structures to monads. In our paper we introduce the main ideas of our approach for describing the behavior of systems by coalgebras and we illustrate it on the simple examples of data structure queue.

Key words and phrases. Program behavior, Category, Coalgebra, Comonad, Topos. 		 
         
     
         
         
      Back to previous page