On the Role of Category Theory in the Area of Algebraic Specifications (1996)
| Venue: | In LNCS , Proc. WADT11 |
| Citations: | 4 - 1 self |
BibTeX
@ARTICLE{Ehrig96onthe,
author = {H. Ehrig and M. Große-Rhode and U. Wolter},
title = {On the Role of Category Theory in the Area of Algebraic Specifications},
journal = {In LNCS , Proc. WADT11},
year = {1996},
volume = {6},
pages = {1--35}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. The paper summarizes the main concepts and paradigms of category theory and explores some of their applications to the area of algebraic specifications. In detail we discuss different approaches to an abstract theory of specification logics. Further we present a uniform framework for developing particular specification logics. We make use of `classifying categories', to present categories of algebras as functor categories and to obtain necessary basic results for particular specification logics in a uniform manner. The specification logics considered are: equational logic for total algebras, conditional equational logic for partial algebras, and rewrite logic for concurrent systems. 1 Category Theory and Applications in Computer Science Category theory has been developed as a mathematical theory over 50 years and has influenced not only almost all branches of structural mathematics but also the development of several areas of computer science. It is the aim of this paper to review t...
